Учебные пособия

Дубинин В.Н., Зинкин С.А. Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях: Учеб. пособие. - Пенза: Изд-во Пенз. политехн. ин-та. – 1992. – 95 с.
Дубинин В.Н., Зинкин С.А. Сетевые спецификации, моделирование и проектирование вычислительных комплексов, систем и сетей: Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1996. – 322 с.

Дубинин В.Н., Зинкин С.А. Языки логического программирования в проектировании вычислительных систем и сетей: Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1997. – 88 с.
Былкин В.Д., Дубинин В.Н., Глебова Т.А., Коновалова И.И. Основы построения и функционирования интеллектуальных информационных систем: Учебное пособие / Под общ. ред. проф. А.Н. Кошева. - Пенза: ПГУАС, 2007. - 207 с.

Учебно-методические пособия

Зверев С.Л., Дубинин В.Н. Системы дедуктивного вывода и решение логических задач: Метод. указания. - Пенза: Изд-во Пенз. политехн. ин-та. – 1993. – 60 с.
Дубинин В.Н. Программирование на языке Лисп: Метод. указания к выполнению лабораторных работ. - Пенза: Изд-во Пенз. гос. техн. ун-та. – 1996. – 46 с.

Дубинин В.Н. Проектирование и реализация распределенных систем на основе локальной вычислительной сети: Метод. указания к выполнению лабораторных работ. – Пенза: Пенза: Изд-во Пенз. гос. техн. ун-та. – 1999. – 74 с.
Дубинин В.Н. Работа с базами данных в архитектуре клиень-сервер Методические указания к выполнению лабораторных работ. - Пенза: ПГУ, 2000. - 85 с.