Компиляторы. принципы, технологии и инструменты
Структуры данных и алгоритмы
Теория расписаний и вычислительные машины
Введение в теорию автоматов, языков и вычислений
Введение в системы баз данных
