Представлены книги, которые вышли после 1990 года. Это субъективный список, а не исчерпывающий. Один из возможных критериев добавления – целесообразность перевода книги на английский язык.

Предложения приветствуются!

• С. С. Лавров. Программирование. Математические основы, средства, теория (2001).
• Набебин А. А. Логика и пролог в дискретной математике (1996).
• Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов (2017). URL: https://mccme.ru/free-books/
• Н. К. Верещагин, В. А. Успенский, А. Шень. Колмогоровская сложность и алгоритмическая случайность. URL: https://mccme.ru/free-books/shen/kolmbook.pdf
• Непейвода Н. Н. Прикладная логика: Учебное пособие (2019).
• Ф. Новиков. Дискретная математика для программистов (2009). URL: https://stugum.files.wordpress.com/2014/03/novikov.pdf
• Подколзин А. С. Компьютерное моделирование логических процессов. Архитектура и языки решателя задач (2008). URL: http:https://intsys.msu.ru/staff/podkolzin/KMLP1.htm

• Касьянов В. Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение (2003).
• А. Шень Программирование: теоремы и задачи (2017). URL: https://www.mccme.ru/free-books/shen/shen-progbook.pdf
• М. А. Бабенко, М. В. Левин. Введение в теорию алгоритмов и структур данных (2016).
• Баранов В. И., Стечкин Б. С. Экстремальные комбинаторные задачи и их приложения (2004).
• Ватолин Д., Ратушняк А., Смирнов М., Юкин В. Методы сжатия данных. Устройство архиваторов, сжатие изображений и видео (2002). URL: https://www.compression.ru/book/

• Кауфман В. Ш. Языки программирования. Концепции и принципы (1993).
• Непейвода Н. Н. Стили и методы программирования (2005).

• А. Немытых. Суперкомпилятор SCP4: Общая структура (2007).
• Свердлов С. З. Языки программирования и методы трансляции (2021).

• А. Робачевский, С. Немнюгин, О. Стесик. Операционная система UNIX (2010).
• В.Г. Олифер, Н.А. Олифер. Компьютерные сети. Принципы технологии протоколы (2017).

• Ю. Карпов. MODEL CHECKING. Верификация параллельных и распределенных программных систем (2010).
• А. Камкин. Введение в формальные методы верификации программ (2018). URL: http:https://sp.cmc.msu.ru/courses/vmp/kamkin_mc2018.pdf
• П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин, А. К. Петренко, А.В. Хорошилов, И.В. Щепетков. Моделирование и верификация политик безопасности управления доступом в операционных системах (2019). URL: https://www.ispras.ru/publications/2018/security_policy_modeling_and_verification/
• Поликарпова Н. И., Шалыто А. А. Автоматное программирование (2008). URL: http:https://is.ifmo.ru/books/_book.pdf

• Программное моделирование вычислительных систем (2016). URL: https://atakua.org/w/images/simulation-lectures-latest.pdf
• Розенблюм Л. Я., Мараховский В. Б., Яковлев А.В. Моделирование параллельных процессов. Сети Петри (2014).
• В. В. Воеводин, Вл. В. Воеводин. Параллельные вычисления (2002).
• И. А. Каляев, И. И. Левин, Е. А. Семерников, В.И. Шмойлов. Реконфигурируемые мультиконвейерные вычислительные структуры (2008). URL: https://parallel.ru/sites/default/files/papers/rmvs.pdf