Новиков, Е. А. Компьютерное моделирование жестких гибридных систем : Монография

Гаврилов, С. Методы анализа логических корреляций для САПР цифровых КМОП СБИС : Учебное пособие

Бибило, П. Н. Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний

Ковалевская, Е. В. Методы программирования : Учебное пособие

Алексеев, В. А. Маршрутизация и удаленный доступ в сетях TCP/IP : Методические указания к проведению лабораторных работ по курсу «Сетевые технологии»

Румянцев, А. В. Метод конечных элементов в задачах теплопроводности : Учебное пособие