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

Вишняков В. А., Буланже Д. Ю., Герман О. В.
   Аппаратно-программные средства процессоров логического вывода / Вишняков В. А., Буланже Д. Ю., Герман О. В. - М. : Радио и связь, 1991. - 264 с. - Библиогр.: с. 259-261. - ISBN 5-256-00606-1.

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 120 : Логические методы в программировании / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1987. - 161 с. - Библиогр. в конце статей.

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 133 : Логические методы в программировании / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1990. - 188 с. - Библиогр. в конце статей.

   Системная информатика : сборник научных трудов / АН СССР. СО, Институт систем информатики. - Новосибирск : Наука, 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.