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

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

   Системная информатика : сборник научных трудов / АН СССР. СО, Институт систем информатики. - Новосибирск : Наука, 1991.
   Вып. 1 : Проблемы современного программирования / ред. Котов В. Е. - 1991. - 292 с. - Библиогр. в конце статей. - ISBN 5-02-029676-7.

Иванова Г. С., Ничушкина Т. Н., Пугачев Е. К.
   Методы обработки данных и оценки программ : учебное пособие / Иванова Г. С., Ничушкина Т. Н., Пугачев Е. К. ; МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2020. - 70 с. : схемы. - Библиогр. в конце брош. - ISBN 978-5-7038-5409-9.

Иванова Г. С., Ничушкина Т. Н., Пугачев Е. К.
   Выбор алгоритмов обработки данных, тестирование и повышение качества программ : учебно-методическое пособие / Иванова Г. С., Ничушкина Т. Н., Пугачев Е. К. ; МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2020. - 65 с. - Библиогр.: с. 40. - ISBN 978-5-7038-5408-2.