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

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

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

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

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

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

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

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

   Системные программные средства ЕС ЭВМ и СМ ЭВМ. (Краткое описание) : сб. / Международный центр науч. и техн. информации, Координационный центр Межправительств. комиссии по сотрудничеству соц. стран в области вычисл. техники. - Москва, 1987.
   Вып. 1. - 1987. - 85 с.

   Системные программные средства ЕС ЭВМ и СМ ЭВМ. (Краткое описание) : сб. / Международный центр науч. и техн. информации, Координационный центр Межправительств. комиссии по сотрудничеству соц. стран в области вычисл. техники. - Москва, 1987.
   Вып. 2. - 1988. - 99 с.

   Системы автоматизации с элементами искусственного интеллекта : сборник статей / МВТУ им. Н. Э. Баумана ; ред. Болотова Л. С., Васильев В. А. - Москва : Изд-во МВТУ им. Н. Э. Баумана, 1989. - 111 с. : ил. - (Труды / МВТУ им. Н. Э. Баумана ; № 525). - Библиогр. в конце статей. - ISBN 5-7038-0020-X.