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

Силаев, Г. В.  Конструкция автомобилей и тракторов : учебник для вузов / Г. В. Силаев. — 4-е изд., испр. и доп. — Москва : Издательство Юрайт, 2026. — 432 с. — (Высшее образование). — ISBN 978-5-534-18430-3.

Информационные системы управления производственной компанией : учебник и практикум для вузов / под редакцией Н. Н. Лычкиной. — Москва : Издательство Юрайт, 2026. — 273 с. — (Высшее образование). — ISBN 978-5-534-00764-0.

Метакидес Г., Нероуд А.
   Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 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.

   Методы оптимизации и их приложения : монография / Академия наук СССР, Сибирское отделение, Сибирский энергетический институт ; отв. ред. Меренков А. П. - Новосибирск : Наука, Сибирское отделение, 1990.
   Ч. 1 : Математическое программирование / Ациферов Е. Г., Ащепков Л. Т., Булатов В. П. - 1990. - 155 с. : граф. - Библиогр.: с. 153-155. - ISBN 5-02-029658-9.

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

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