Название: Text Data Management and Analysis
Автор: Chengxiang Zhai
Серия: ACM Books
Жанр: Базы данных
Название: Verified Functional Programming in Agda
Автор: Aaron Stump
Серия: ACM Books
Жанр: Программы
Название: Edmund Berkeley and the Social Responsibility of Computer Professionals
Автор: Bernadette Longo
Серия: ACM Books
Жанр: Компьютеры: прочее