- Автоматизация построения трансляторов.
1983
- Введение в дискретную математику. Части 1 и 2.
1994
- Введение в дискретную математику. Часть 3.
1994
- Введение в компьютерные науки.
1994
- Вводный курс программирования на Паскале в заданиях
и упражнениях. Часть 1.
1999
- Вводный курс программирования на Паскале в заданиях
и упражнениях. Часть 2.
1999
- Визуализация информации на основе графовых моделей.
2014
- Деревья: основные понятия, свойства и алгоритмы.
1992
- Индивидуальные задания по практике на ЭВМ.
1979
- Курс программирования на Паскале
в заданиях и
упражнениях.
2001
- Лекции по теории формальных языков, автоматов и сложности вычислений.
1995
- Методы анализа программ.
1982
- Методы оптимизации программ.
1984
- Методы трансляции.
1978
- Методы трансляции. Упражнения.
1979
- Основы программирования на языке Паскаль.
1987
- Основы языка Паскаль-360.
1982
- Практикум на ЭВМ. Выпуск 1. Задания для начинающих.
1984
- Практикум на ЭВМ. Выпуск 2. Задания для продолжающих:
разработка алгоритма.
1984
- Практикум на ЭВМ. Выпуск 3. Решение задания для
продолжающих
на языке Фортран.
1984
- Практикум по программированию.
2001
- Практикум по программированию.
2013
- Программирование на мини-Фортране.
1981
- Сборник индивидуальных заданий по практике на ЭВМ.
1981
- Сборник заданий по практикуму на ЭВМ.
1986
- Сборник заданий по
программированию.
1986
- Технология трансляции.
1979
- Теория вычислений.
2018
- Толковый словарь по теории
графов. Часть 1.
1995
- Толковый словарь по теории
графов. Часть 2.
1996
- Толковый словарь по теории
графов. Часть 3.
1996
- Элементы теории графов, формальных языков и сложности
вычислений.
1994
- Язык программирования Минал.
1979
- Язык программирования Zonon.
2010