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

Иванов, Б. Н.  Дискретная математика и теория графов : учебник для вузов / Б. Н. Иванов. — Москва : Издательство Юрайт, 2025. — 177 с. — (Высшее образование). — ISBN 978-5-534-14470-3.

Метакидес Г., Нероуд А.
   Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 1998. - 288 с. : ил. - Библиогр.: с. 275-278. - ISBN 5-88688-037-2.

Набебин А. А.
   Логика и Пролог в дискретной математике / Набебин А. А. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.: с. 435-440. - ISBN 5-7046-0162-6.

Аоки М.
   Введение в методы оптимизации. Основы и приложения нелинейного программирования : пер. с англ. / Аоки М. ; ред. пер. Поляк Б. Т. ; пер. Дубро Э. Б. - М. : Наука, 1977. - 343 с. : ил. - Библиогр.: с. 332-340.

   Математическая логика в программировании : сборник статей / ред. пер. с англ. Захарьящев М. В., Янов Ю. И. - М. : Мир, 1991. - 407 с. - (Математическое обеспечение ЭВМ). - Библиогр. в конце статей. - ISBN 5-03-001635-X.

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 139 : Теория вычислимости и языки спецификаций / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1991. - 192 с. : ил. - Библиогр. в конце статей. - ISBN 5-7623-0102-8.

Давыдов А. Н.
   Линейное программирование: графический и аналитический методы : учебное пособие / Давыдов А. Н. - Самарский государственный архитектурно-строительный университет, ЭБС АСВ, 2014. - ISBN 978-5-9585-0604-0.

   Методы принятия решений : лабораторный практикум / Акамсина Н. В., Проскурин Д. К., Сербулов Ю. С. [и др.]. - Воронежский государственный архитектурно-строительный университет, ЭБС АСВ, 2013. - ISBN 978-5-89040-473-2.

Кочегурова Е. А.
   Теория и методы оптимизации : учебное пособие / Кочегурова Е. А. - Томский политехнический университет, 2013. - ISBN 978-5-4387-0237-5.

Костомаров Д. П., Корухова Л. С, Манжелей С. Г.
   Программирование и численные методы : учебное пособие / Костомаров Д. П., Корухова Л. С, Манжелей С. Г. - Московский государственный университет имени М. В. Ломоносова, 2001. - ISBN 5-211-04059-7.