Представлены книги, которые вышли после 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://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://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://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