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

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

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

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

Акжолов М. Ж.
   Параллельные вычисления при решении задач аэрогидродинамики методом крупных частиц. : учеб. пособие по курсу "Параллельное программирование" / Акжолов М. Ж. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 49 с. : ил. - Библиогр.: с. 45-48. - ISBN 978-5-7038-3146-5.

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

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 120 : Логические методы в программировании / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1987. - 161 с. - Библиогр. в конце статей.

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 133 : Логические методы в программировании / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1990. - 188 с. - Библиогр. в конце статей.