Б 82 Борисов, В. М. Разработка пакетов программ вычислительного типа [Текст] / В.М. Борисов. - М. : Изд-во МГУ, 1990. - 124 с. - Библиогр.:с.120-124(59 назв.). - ISBN 5-211-01712-9 : Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Численные методы и технология разработки пакетов прикладных программ [Текст] : сб.науч.тр. / АН УССР, Ин-т кибернетики им.В.М.Глушкова, Науч.совет АН УССР по пробл."Кибернетика" ; Редкол.: И.В. Сергиенко (отв.ред.) и др. - Киев : ИК, 1990. - 168 с. : ил. - Библиогр.в конце ст. - ISBN 5-7702-0059-0 : Б. ц.
Доп.точки доступа: Сергиенко, И.В. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Н 53 Непомнящий , В. А. Прикладные методы верификации программ [Текст] / В.А. Непомнящий , О.М. Рякин. - М. : Радио и связь, 1988. - 255 с. - Библиогр.: с. 252-254(60 назв.). - ISBN 5-256-00156-6 : Б. ц.
Доп.точки доступа: Рякин, О.М. Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Вопросы кибернетики [Текст] : сб.ст. / АН СССР. Науч.совет по комплекс.проблеме Кибернетика; ред. А. П. Ершов. - М. : Сов.радио, 1972 - . Вып.162 : Системы программирования векторно-конвейерной ЭВМ / ред. В. П. Иванников. - 1990. - 133 с. : ил. - ). - Библиогр. в конце ст. - Б. ц.
Вычислительные машины электронные векторно-конвейерные--Программирование Доп.точки доступа: Ершов, А.П. \ред.\; Иванников, В.П. \ред.\; АН СССР. Науч.совет по комплекс.проблеме Кибернетика Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Вопросы кибернетики [Текст] : сб.ст. / АН СССР. Науч.совет по комплекс.проблеме Кибернетика; ред. А. П. Ершов. - М. : Сов.радио, 1972 - . Вып.163 : Методы теории систем и информационных технологий / ред. Ю. С. Вишняков. - 1990. - 197 с. : ил. - ). - Библиогр. в конце ст. - Б. ц.
Динамические системы--Управление Информационная технология Доп.точки доступа: Ершов, А.П. \ред.\; Вишняков, Ю.С. \ред.\; АН СССР. Науч.совет по комплекс.проблеме Кибернетика Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |