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

   Системная информатика : сборник научных трудов / РАН, СО, Институт систем информатики им. А. П. Ершова. - Новосибирск : Наука, Сибирское предприятие РАН, 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.

Дейтел Х. М., Дейтел П. Дж., Нието Т. Р.
   Как программировать для Internet и WWW : пер. с англ. / Дейтел Х. М., Дейтел П. Дж., Нието Т. Р. ; ред. пер. Козлов А. В. ; пер. Клименков Е. Е., Левчук Ю. А., Уржумов Я. А. [и др.]. - Москва : Бином, 2002. - 1177 с. : ил. - ISBN 5-7989-0237-4.

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

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

   Системная информатика : сборник научных трудов / РАН, СО, Институт систем информатики им. А. П. Ершова. - Новосибирск : Наука, Сибирское предприятие РАН, 1995.
   Вып. 9 : Формальные методы и модели информатики / ред. Марчук А. Г. - 2004. - 358 с. - Библиогр. в конце статей. - ISBN 5-7692-0700-0.

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

Вишняков В. А., Буланже Д. Ю., Герман О. В.
   Аппаратно-программные средства процессоров логического вывода / Вишняков В. А., Буланже Д. Ю., Герман О. В. - Москва : Радио и связь, 1991. - 264 с. - Библиогр.: с.259-261. - ISBN 5-256-00606-1.

Гергель В. П.
   Высокопроизводительные вычисления для многопроцессорных многоядерных систем : учебник для вузов / Гергель В. П. ; Библиотека Нижегородского государственного университета им. Н. И. Лобачевского. - Москва : Физматлит : Изд-во Московского университета : Нижегородский гос. ун-т, 2010. - 539 с. : ил. - (Суперкомпьютерное образование). - Библиогр.: с.534-539. - ISBN 978-5-211-05937-5. - ISBN 978-5-9221-1312-0.