Синицын, С. В. Верификация программного обеспечения : Учебное пособие

Умарова, Н. Н. Статистические методы в управлении качеством (использование программного продукта STATISTICA) : Учебно-методическое пособие

Кондратьев, В. К. Введение в операционные системы : Учебное пособие

Миронов, Ю. М. Базы и банки данных : Сборник описаний практических работ

Жикун, Чен Технология Java Card ™ для смарт-карт. Архитектура и руководство программиста : Монография

Галкина, М. Ю. Функциональное и логическое программирование : Практикум