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

   Динамический анализ программного обеспечения методами фаззинга и символьного исполнения : методические указания к выполнению лабораторной работы №2 / Антонова В. М., Астрахов А. В., Куц Д. О. [и др.] ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2018. - 20 с. - Библиогр. в конце брош. - ISBN 978-5-7038-4958-3.

Маран М. М.
   Программная инженерия : учебное пособие / Маран М. М. - СПб. : Лань, 2018. - 194 с. - (Учебники для вузов. Специальная литература) (Бакалавриат). - Библиогр.: с. 194. - ISBN 978-5-8114-3032-1.

   ПЛИС и параллельные архитектуры для применения в аэрокосмической области. Программные ошибки и отказоустойчивое проектирование / ред. Кастеншмидт Ф., Реха П. ; Пер. с англ. и науч. ред. Цыбин С. А., Быстрицкий А. В., Строганов А. В., Городков П. С. - М. : ТЕХНОСФЕРА, 2018. - 325 с. - (Мир радиоэлектроники). - Библиогр. в конце гл. - ISBN 978-5-94836-513-8.

Дьяконов В. П., Пеньков А. А.
   MATLAB и Simulink в электроэнергетике : справ. / Дьяконов В. П., Пеньков А. А. - М. : Горячая линия - Телеком, 2009. - 816 с. : ил. - Библиогр.: с. 792-796. - ISBN 978-5-9912-0114-8.

Никифоров С. Н.
   Прикладное программирование : учебное пособие / Никифоров С. Н. - СПб. : Лань, 2018. - 122 с. : ил. - (Учебники для вузов. Специальная литература) (Бакалавриат). - Библиогр.: с. 121. - ISBN 978-5-8114-3068-0.

Гулаков В. К., Трубаков А. О., Трубаков Е. О.
   Структуры и алгоритмы обработки многомерных данных : монография / Гулаков В. К., Трубаков А. О., Трубаков Е. О. - СПб. : Лань, 2018. - 354 с. : ил. - (Учебники для вузов. Специальная литература) (Бакалавриат и магистратура). - Библиогр.: с. 348-354. - ISBN 978-5-8114-2962-2.

Демидова Л. А.
   Дополненная реальность. Основы работы с ARToolKit : учебник для вузов / Демидова Л. А. - М. : КУРС, 2019. - 202 с. : ил. - Библиогр.: с. 198-200. - ISBN 978-5-907064-21-8.

Засорин С. В., Ломтева О. А.
   Структуры и алгоритмы компьютерной обработки данных. Лабораторный практикум : учебное пособие для вузов / Засорин С. В., Ломтева О. А. - М. : КУРС, 2019. - 383 с. : ил. - Библиогр.: с. 380-381. - ISBN 978-5-907064-14-0.

   Сертификация программного обеспечения. Статический анализ программного кода : учебно-методическое пособие / Антонова В. М., Астрахов А. В., Кондаков С. Е. [и др.] ; МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2019. - 22 с. - Библиогр. в конце брош. - ISBN 978-5-7038-5043-5.

   Оценка временных характеристик автоматизированных систем обработки информации и управления с помощью пакета КСАМ 2. 0 : учебно-методическое пособие / Григорьев Ю. А., Ермаков О. Ю., Паничкина А. А., Плужникова О. Ю. - М. : Изд-во "Спутник +", 2019. - 55 с. : рис., табл. - Библиогр.: с. 55. - ISBN 978-5-9973-4982-0.