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

Кудрявцева, И. А.  Программирование: комбинаторная логика : учебник для среднего профессионального образования / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 524 с. — (Профессиональное образование). — ISBN 978-5-534-15128-2.

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

Эммерих В.
   Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft/COM и Java/RMI : учебник : пер. с англ. / Эммерих В. ; ред. Калиниченко Л. А. ; пер. Москалев Т. Ю. - М. : Мир, 2002. - 510 с. : ил. - (Лучший зарубежный учебник). - Библиогр.: с. 498-505. - ISBN 5-03-003405-6.

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

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

   Системное программирование и модели исследования операций : сборник трудов факультета вычислительной математики и кибернетики Московского государственного университета / ред. Королев Л. Н., Краснощеков П. С. - М. : Изд-во Московского университета, 1993. - 223 с. : ил. - Библиогр. в конце статей. - ISBN 5-211-02295-5.

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

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

Чери С., Готлоб Г., Танка Л.
   Логическое программирование и базы данных / Чери С., Готлоб Г., Танка Л. ; ред. пер. с англ. Калиниченко Л. А. - М. : Мир, 1992. - 352 с. : ил. - Библиогр.: с. 341-350. - ISBN 5-03-002472-7.

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