1405 записей
Грузинский политехнический ин-т им. В. И. Ленина. Проблемная лаборатория автоматики и вычислительной техники
Труды / ред. Габашвили Н. В. - Тбилиси, 1967. - 277 с. : ил. - Библиогр.в конце статей .
Труды / ред. Габашвили Н. В. - Тбилиси, 1967. - 277 с. : ил. - Библиогр.
Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием / Чэнь М., Цинь К., Ку Хеон-Мо, Мишра П. ; пер. с англ. Махиянова Е. Б. ; ред. пер. Ланцев А. Н. - М. : ТЕХНОСФЕРА, 2014. - 294 с. : ил. - (Мир радиоэлектроники). - Библиогр. в конце глав . - ISBN 978-5-94836-365-3 .
Московский энергетический институт
Труды. - М., 1962.
Вып. 351 : Применение и использование вычислительных машин : тематический сборник / ред. Челноков Н. И., Башмаков И. А. - 1977. - 104 с. : рис., табл. - Библиогр.в конце статей .
Труды. - М., 1962.
Вып. 351 : Применение и использование вычислительных машин : тематический сборник / ред. Челноков Н. И., Башмаков И. А. - 1977. - 104 с. : рис., табл. - Библиогр.
Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X .
Вып. 104 : Архитектура и математическое обеспечение вычислительных систем / науч. ред. Миренков Н. Н. - 1984. - 130 с. : рис., табл. - Библиогр.в конце ст.
Вып. 104 : Архитектура и математическое обеспечение вычислительных систем / науч. ред. Миренков Н. Н. - 1984. - 130 с. : рис., табл. - Библиогр.
Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X .
Вып. 96 : Математическое обеспечение ВС из микро-ЭВМ / науч. ред. Косарев Ю. Г., Миренков Н. Н. - 1983. - 110 с. : рис., табл. - Библиогр.в конце статей .
Вып. 96 : Математическое обеспечение ВС из микро-ЭВМ / науч. ред. Косарев Ю. Г., Миренков Н. Н. - 1983. - 110 с. : рис., табл. - Библиогр.
Мякишев Д. В.
Принципы и методы создания надежного программного обеспечения АСУТП : методическое пособие / Мякишев Д. В. - М. ; Вологда : Инфра-Инженерия, 2017. - 112 с. : ил. - Библиогр.:с. 108-110 . - ISBN 978-5-9729-0179-1 .
Принципы и методы создания надежного программного обеспечения АСУТП : методическое пособие / Мякишев Д. В. - М. ; Вологда : Инфра-Инженерия, 2017. - 112 с. : ил. - Библиогр.:
Вычислительные методы и программно-аппаратное обеспечение в научных исследованиях / ред. Басиладзе С. Г., Репин В. М. - М. : Изд-во Московского университета, 1992. - 198 с. - Библиогр. в конце статей . - ISBN 5-211-00963-0 .
Вычислительные системы : сборник научных трудов / Российская академия наук, Сибирское отделение, Институт математики им. С. Л. Соболева. - Новосибирск, 1995. - Институт математики им. С. Л. Соболева до 1995 г. - Институт математики. - ISSN 0568-661X .
Вып. 152 : Теория вычислений и языки спецификаций / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1995. - 219 с. - Библиогр.в конце статей . - ISBN 5-86134-012-9 .
Вып. 152 : Теория вычислений и языки спецификаций / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1995. - 219 с. - Библиогр.
Московский энергетический ин-т. Вычислительный центр
Труды. - М. : Изд-во МЭИ, 1967.
Вып. 69, № 1 : Применение вычислительной техники / ред. Челноков Н. И. - 1967. - 100 с., [1] л. табл. : рис., табл. - Библиогр.в конце ст.
Труды. - М. : Изд-во МЭИ, 1967.
Вып. 69, № 1 : Применение вычислительной техники / ред. Челноков Н. И. - 1967. - 100 с., [1] л. табл. : рис., табл. - Библиогр.
