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

Лафоре Р.
   Объектно-ориентированное программирование в С++. Классика Computer Science / Лафоре Р. ; пер. с англ. Кузнецов А., Назаров М., Шрага В. - 4-е изд. - Санкт-Петербург : Питер, 2025. - 923 с. - (Классика computer science). - Библиогр.: с.899-901. - ISBN 978-5-4461-0927-2.

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

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

Зенков, А. В.  Численные методы : учебник для вузов / А. В. Зенков. — 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.