Расширенный поиск

   Системная информатика : сборник научных трудов / АН СССР. СО, Институт систем информатики. - Новосибирск : Наука, 1991.
   Вып. 1 : Проблемы современного программирования / ред. Котов В. Е. - 1991. - 292 с. - Библиогр. в конце статей. - ISBN 5-02-029676-7.

Иванова Г. С., Ничушкина Т. Н., Пугачев Е. К.
   Методы обработки данных и оценки программ : учебное пособие / Иванова Г. С., Ничушкина Т. Н., Пугачев Е. К. ; МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2020. - 70 с. : схемы. - Библиогр. в конце брош. - ISBN 978-5-7038-5409-9.

Иванова Г. С., Ничушкина Т. Н., Пугачев Е. К.
   Выбор алгоритмов обработки данных, тестирование и повышение качества программ : учебно-методическое пособие / Иванова Г. С., Ничушкина Т. Н., Пугачев Е. К. ; МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2020. - 65 с. - Библиогр.: с. 40. - ISBN 978-5-7038-5408-2.

Люшнин С. А., Левин Д. П.
   Проектирование функциональных и геометрических классов в среде MATLAB : учебно-методическое пособие / Люшнин С. А., Левин Д. П. ; МГТУ им. Н. Э. Баумана (Национальный исследовательский университет). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2022. - 40 с. - Библиогр. в конце кн. - ISBN 978-5-7038-5781-6.

   Практикум по дисциплине Логическое и функциональное программирование / сост. Доткулова А. С. - Московский технический университет связи и информатики, 2016.

   Учебно-методическое пособие по дисциплине Логическое и функциональное программирование / сост. Яшина М. В., Барков В. В., Украинский С. В. - Московский технический университет связи и информатики, 2016.

Трофимов, В. В.  Алгоритмизация и программирование : учебник для вузов / В. В. Трофимов, Т. А. Павловская. — 4-е изд. — Москва : Издательство Юрайт, 2025. — 108 с. — (Высшее образование). — ISBN 978-5-534-20430-8.

Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 675 с. — (Высшее образование). — ISBN 978-5-534-11009-8.

Бабичев, С. Л.  Распределенные системы : учебник для вузов / С. Л. Бабичев, К. А. Коньков. — Москва : Издательство Юрайт, 2026. — 507 с. — (Высшее образование). — ISBN 978-5-534-11380-8.

Бессмертный, И. А.  Системы искусственного интеллекта : учебник для среднего профессионального образования / И. А. Бессмертный. — 3-е изд., испр. и доп. — Москва : Издательство Юрайт, 2026. — 163 с. — (Профессиональное образование). — ISBN 978-5-534-18417-4.