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

   Проверка и утверждение программ реального времени : монография / Болонья С., Эренбергер У., Пур-Вестерхейд П. [и др.] ; ред. Квирик У. Дж. ; пер. с англ. Стукаленко А. А. ; ред. пер. Никитин А. И. - Киев : Наукова думка, 1990. - 212 с. : схемы. - Библиогр.: с. 194-210. - На обложке и титульном листе авторы не указаны. - ISBN 3-540-15102-8.

Коротаев А. Н., Марчев Д. В.
   Экономика программной инженерии : учебник для вузов / Коротаев А. Н., Марчев Д. В. - М. : КУРС, 2018. - 127 с. : ил. - (Высшее образование). - Библиогр.: с. 126. - ISBN 978-5-906923-47-9.

Бубнов А. А., Бубнов С. А., Майков К. А.
   Разработка и анализ требований к программному обеспечению : учебник для вузов / Бубнов А. А., Бубнов С. А., Майков К. А. - М. : КУРС, 2018. - 174 с. - (Высшее образование). - Библиогр.: с. 141. - ISBN 978-5-906923-46-2.

Суворов С. В.
   Работа в среде математического редактора MathCAD : учеб. пособие / Суворов С. В. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2017. - 37 с. : ил. - Библиогр.: с. 35. - ISBN 978-5-7038-4781-7.

   Автоматизация проектирования радиоэлектронной аппаратуры и средств вычислительной техники : межвузовский сборник научных трудов / Министерство высшего и среднего специального образования РСФСР, Уральский политехнический институт им. С. М. Кирова ; отв. ред. Семихатов Н. А. - Свердловск : Изд-во Уральского политехнического института им. С. М. Кирова, 1989. - 79 с. : табл., схемы. - Библиогр. в конце статей.

Левин М. Г.
   Программное обеспечение для решения задач численного анализа на СМ ЭВМ / Левин М. Г. ; ред. Шор И. Я. ; Академия наук ССРМ, Отдел энергетической кибернетики. - Кишинёв : Штиинца, 1991. - 237 с. - Библиогр.: с. 233-234. - ISBN 5-376-00988-2.

Онокой Л. С., Титов В. М.
   Компьютерные технологии в науке и образовании : учебное пособие для вузов / Онокой Л. С., Титов В. М. - М. : ИД "ФОРУМ" : ИНФРА-М, 2017. - 223 с. : ил. - (Высшее образование). - Библиогр.: с. 216-218. - ISBN 978-5-8199-0469-5. - ISBN 978-5-16-011102-5. - ISBN 978-5-16-103168-1.

   Интеллектуализация программного обеспечения информационно-вычислительных систем : сборник научных трудов / Академия наук Украинской ССР, Институт кибернетики им. В. М. Глушкова, Научный совет АН УССР по проблеме "Кибернетика". - Киев, 1990. - 152 с. : ил. - Библиогр. в конце статей. - ISBN 5-7702-0039-1.

Московский энергетический институт
   Труды. - М. : Изд-во МЭИ, 1959. - ISSN 0371-9545. - ISSN 0234-9124.
   Вып. 650 : Разработка методов и средств автоматизированного проектирования радиоэлектронной аппаратуры и ЭВМ. / гл. ред. Гайфуллин Э. Щ. - 1990. - 147 с. : рис., граф. - Библиогр. в конце статей.

Рудаков А. В.
   Технология разработки программных продуктов : учебник для среднего профессионального образования / Рудаков А. В. - 11-е изд., стер. - М. : Академия, 2017. - 207 с. : ил. - (Профессиональное образование. Профессиональный модуль). - Библиогр.: с. 204. - ISBN 978-5-4468-4734-1.