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

   Вычислительная техника и программирование : [сборник статей]. - М., 1972. - 162 с. : ил. - (Труды / Московский институт радиотехники, электроники и автоматики ; вып. 58). - Библиогр. в конце ст.

Челябинский политехнический институт им. Ленинского Комсомола
   Сборник научных трудов. - Челябинск, 1968.
   № 199 : Технические средства и программированное обучение в учебном процессе : труды Межвузовской научно-методической конференции / отв. ред. Бургвиц А. Г. - 1977. - 207 с. - Библиогр. в конце статей.

Иванова Г. С.
   Программирование : учебник для вузов / Иванова Г. С. - 3-е изд., стер. - М. : КНОРУС, 2014. - 425 с. : ил. - (Бакалавриат). - Библиогр. в конце кн. - ISBN 978-5-406-03447-7.

   Технология разработки программных систем [Электрон. ресурс] : метод. указ. во выполнению курсовый работы по дисциплине "Технология разработки программных систем" / Иванова Г. С., Ничушкина Т. Н., Пугачев Е. К., Самарев Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2014. - 1 CD-ROM. - ФГУП "Информрегистр" №0321400747.

Иванова Г. С., Ничушкина Т. Н.
   Документирование программ при структурной и объектной декомпозиции [Электрон. ресурс] : метод. указ. к выполнению практикума по программированию / Иванова Г. С., Ничушкина Т. Н. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2014. - 1 CD-ROM. - ФГУП "Информрегистр" №0321400748.

Вишневская Т. И., Романова Т. Н.
   Технология программирования [Электрон. ресурс] : метод. указ. к лаб. практикуму по дисциплинам "Технология программирования" и "Методология программной инженерии" / Вишневская Т. И., Романова Т. Н. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2012.
   Ч. 3. - 2012. - 1 CD-ROM. - ФГУП "Информрегистр" №0321203886.

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

   Вопросы кибернетики : сборник статей / Академия наук СССР, Научный совет по комплексной проблеме "Кибернетика". - М., 1978. - ISSN 0134-6388.
   Вып. 60 : Человеко-машинные обучающие системы / общ. ред. Клыков Ю. И. - 1979. - 163 с. - Библиогр. в конце статей.

Самойленко С. Б., Хан П. В.
   Функциональное и логическое программирование в примерах и задачах : учеб. пособие для вузов / Самойленко С. Б., Хан П. В. ; Камчатский государственный технический университет. - Петропавловск-Камчатский : Изд-во КамчатГТУ, 2013. - 167 с. - Библиогр.: с. 163-. - ISBN 978-5-328-00281-3.

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