Соснин, В. В. Облачные вычисления в образовании

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

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

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

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

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