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

Синицын С. В., Налютин Н. Ю.
   Верификация программного обеспечения : учебное пособие / Синицын С. В., Налютин Н. Ю. - М. : БИНОМ. Лаборатория знаний : Интернет- Университет Информационных Технологий, 2014. - 367 с. - (Основы информационных технологий). - ISBN 978-5-94774-825-3.

Научно-исследовательский институт управляющих машин и систем (НИИУМС)
   Труды. - Пермь : Изд-во НИИМУС, 1973.
   Вып. 8. - 1973. - 122 с. - Библиогр. в конце статей.

Дубанов А. В.
   Сборник задач по курсу "Функциональное программирование" : учебное пособие / Дубанов А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2015. - 30 с. - Библиогр.: с. 27. - ISBN 978-5-7038-4092-4.

Суханов В. А.
   Автоматическое регулирование и оперативное управление на основе программно-технических комплексов : учебное пособие по курсам "Управление в технических системах" и "Управление ЭВМ и комплексы" / Суханов В. А. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2007. - 84 с. ил. - Библиогр. в конце кн. - ISBN 978-5-7038-2957-8.

Самарев Р. С.
   Создание простейших HTML-страниц, валидаторы кода. Каскадные таблицы стилей CSS : метод. указания к выполнению практикума № 1 и лаб. работы № 1 по дисциплинам "Языки интернет-программирования" и "Практикум по интернет-программированию" / Самарев Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2015. - 39 с. : ил. - Библиогр. в конце брош. - ISBN 978-5-7038-4220-1.

Иванова Г. С.
   Программирование : учебник для вузов / Иванова Г. С. - 4-е изд., стер. - М. : КНОРУС, 2017. - 425 с. : ил. - (Бакалавриат). - Библиогр. в конце кн. - ЭБС Book. ru. - ISBN 978-5-406-05768-1.

Суханов В. А.
   Автоматическое и автоматизированное управление на основе программно-технического комплекса КОНТАР : метод. указания к выполнению лабораторно-практических работ по дисциплинам "Управляющие ЭВМ и комплексы", "Управление техническими системами" / Суханов В. А. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2016. - 46 с. : ил. - Библиогр. в конце брош. - ISBN 978-5-7038-4371-0.

Иванова Г. С., Пугачев Е. К.
   Оценка методов обработки данных и качества программы : методические указания к выполнению лабораторных работпо дисциплине "Технология разработки программных систем" / Иванова Г. С., Пугачев Е. К. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2015. - 39 с. : ил. - Библиогр.: с. 38. - ISBN 978-5-7038-4181-5.

   Лабораторный практикум по программированию на языке Delphi Win32 Language : метод. указания к выполнению лаб. работ / Борисов С. В., Пащенко О. Б., Серебрякова И. Л., Степанов В. П. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2017. - 88 с. : ил. - Библиогр. в конце брош. - ISBN 978-5-7038-4541-7.

Вишневская Т. И., Терентьев Ю. И.
   Решение инженерных задач в среде Lazarus : учебное пособие / Вишневская Т. И., Терентьев Ю. И. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2017. - [69] с. - Библиогр. в конце кн. - ISBN 978-5-7038-4585-1.