Веретельникова, Е. Л. Теоретическая информатика. Доказательство правильности : Учебное пособие

Баженов, Р. И. Интеллектуальные информационные технологии в управлении : Учебное пособие

Фатхи, Д. В. Анализ дискретных устройств объектов информатизации при решении задач информационной безопасности : Учебное пособие

Интеллектуальные мехатронные системы : Учебное пособие

Лагоха, А. С. Формализация предметной области как базовый элемент реализации IT-проектов : Учебно-методическое пособие

Седов, В. А. Введение в нейронные сети : Методические указания к лабораторным работам по дисциплине «Нейроинформатика» для студентов специальности 09.03.02 «Информационные системы и технологии»