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

Зенков, А. В.  Численные методы : учебник для вузов / А. В. Зенков. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2026. — 136 с. — (Высшее образование). — ISBN 978-5-534-16703-0.

Карамзин, Н. М.  История государства Российского. В 12 т. Тома IX—X / Н. М. Карамзин. — Москва : Издательство Юрайт, 2025. — 310 с. — (Антология мысли). — ISBN 978-5-534-05272-5.

Малявко, А. А.  Формальные языки и компиляторы : учебник для вузов / А. А. Малявко. — Москва : Издательство Юрайт, 2025. — 429 с. — (Высшее образование). — ISBN 978-5-534-04288-7.

Фаронов В. В.
   Программирование на персональных ЭВМ в среде ТУРБО-ПАСКАЛЬ / Фаронов В. В. - Москва : Изд-во МГТУ им. Н. Э. Баумана, 1990. - 442 с. - Библиогр.: с.433. - ISBN 5-7038-0188-5.

   Системная информатика : сборник научных трудов / РАН. СО., Институт систем информатики. - Новосибирск : Наука, 1993.
   Вып. 2 : Системы программирования. Теория и приложения / ред. Котова В. Е. - 1993. - 246 с. - Библиогр. в конце статей. - ISBN 5-02-029970-7.

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

   Системная информатика : сборник научных трудов / РАН. СО., Институт систем информатики. - Новосибирск : Наука, 1993.
   Вып. 3 : Программные и вычислительные системы: методы и языки анализа / ред. Котов В. Е. - 1993. - 302 с. - Библиогр.: с.300-302. - ISBN 5-02-030351-8.

   Системная информатика : сборник научных трудов / РАН, СО, Институт систем информатики им. А. П. Ершова. - Новосибирск : Наука, Сибирское предприятие РАН, 1995.
   Вып. 5 : Архитектурные, формальные и программные модели / ред. Поттосин И. В. - 1997. - 333 с. - Библиогр. в конце статей. - ISBN 5-02-030697-5.

   Системная информатика : сборник научных трудов / РАН, СО, Институт систем информатики им. А. П. Ершова. - Новосибирск : Наука, Сибирское предприятие РАН, 1995.
   Вып. 4 : Методы теоретического и системного программирования / ред. Поттосин И. В. - 1995. - 360 с. - Библиогр. в конце статей. - ISBN 5-02-030678-9.

   Системная информатика : сборник научных трудов / РАН, СО, Институт систем информатики им. А. П. Ершова. - Новосибирск : Наука, Сибирское предприятие РАН, 1995.
   Вып. 7 : Проблемы теории и методологии создания параллельных и распределённых систем / ред. Поттосин И. В. - 2000. - 310 с. : ил. - Библиогр. в конце статей. - ISBN 5-02-031669-5.