| № | Дата |
Автор |
Заглавие |
|---|
|
2004 |
Арутюнян, Роман Эрнстович |
Разработка архитектуры программной системы автоматизированного сбора тематической информации в сети Интернет : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 ; 05.13.17 / Арутюнян Роман Эрнстович ; [Ростовский государственный университет] |
|
2005 |
Разумовский, Алексей Игоревич. |
Моделирование и синтез структур программных интерактивных систем с недетерминированными алгоритмами : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Разумовский Алексей Игоревич ; Институт проблем управления им. В.А.Трапезникова |
|
2004 |
Рогов, Виктор Петрович |
Разработка и применение методики создания информационной модели проблемной области автоматизации проектирования штампов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Рогов Виктор Петрович ; [Ковровская государственная технологическая академия] |
|
2002 |
Пучнин, Сергей Сергеевич |
Индивидуально-ориентированная мультимедийная программная система контроля знаний и методика её практического применения : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.10 / Пучнин Сергей Сергеевич ; Курс. гос. техн |
|
2006 |
Меламед, Александр Яковлевич |
Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Меламед Александр Яковлевич ; [Московский государственный институт электроники и математики] |
|
2008 |
Окрачков, Алексей Алексеевич |
Модели и алгоритмы автоматизированного контроля эффективности программных систем защиты информации : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 ; 05.13.19 / Окрачков Алексей Алексеевич ; [Международный институт компьютерных технологий] |
|
2007 |
Доля, Алексей Владимирович |
Алгоритмы безопасного перехода в сетях Петри для лицензионной защиты программных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Доля Алексей Владимирович ; [Научно-исследовательский институт механики и прекладной математики Южного федерального университета] |
|
2007 |
Перельмутер, Анатолий Викторович |
Расчетные модели сооружений и возможность их анализа / Перельмутер А. В., Сливкер В. И |
|
2009 |
Сухорукова, Ольга Борисовна |
Архитектура и методика реализации специализированных программных систем подбора персонала : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Сухорукова Ольга Борисовна ; [Государственное образовательное учреждение высшего профессионального образования "Ростовский государственный университет путей сообщения"] |
|
2002 |
Трофимов, С. А. (юрист) |
Case-технологии:практическая работа в Rational Rose / С.А.Трофимов |
|
2002 |
Леффингуэлл, Д. |
Принципы работы с требованиями к программному обеспечению. Унифицированный подход : Пер. с англ. / Д.Леффингуэлл, Д.Уидриг |
|
1999 |
Гинкул, Г. П. |
Проблема 2000 года.Технологические решения / Г.П.Гинкул,С.Ю.Соловьев,А.Н.Сотников |
|
2005 |
Фаулер, Мартин (1963— ) |
UML. Основы : крат. рук. по стандарт. яз. объект. моделирования : пер. с англ. / Мартин Фаулер |
|
2007 |
Душкин, Роман Викторович (род. 1977) |
Функциональное программирование на языке Haskell / Душкин Р. В |
|
2003 |
|
Virtual nonlinear multibody systems : proc. of the NATO advanced study inst. on virtual nonlinear multibody systems, Prague, Czech Rep., 23 June-3 July 2002 / ed. by Werner Schiehlen, Michael Valasek |
|
2009 |
Швецов, Виктор Владимирович |
Обработка информации в системе мониторинга распределенного программного проекта : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Швецов Виктор Владимирович ; [ГОУ ВПО "Пензенский государственный университет"] |
|
2010 |
Гусятников, Виктор Николаевич (доктор физико-математических наук) |
Стандартизация и разработка программных систем : учебное пособие для вузов / В. Н. Гусятников, А. И. Безруков |
|
2010 |
Горбацевич, Феликс Феликсович (вычислительная техника) |
Исследование и разработка систем отображения и наблюдения динамических пространственных сцен : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Горбацевич Феликс Феликсович ; [Санкт-Петербургский государственный электротехнический университет им. В. И. Ульянова (Ленина)] |
|
2010 |
Барахнин, Владимир Борисович (доктор технических наук ; кандидат физико-математических наук) |
Программные системы информационного обеспечения научной деятельности: модели, структуры и алгоритмы : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.17 / Барахнин Владимир Борисович ; [Институт вычислительных технологий Сибирского отделения Российской академии наук] |
|
2010 |
Новиков, Федор Александрович (доктор технических наук ; кандидат физико-математических наук) |
Моделирование на UML : теория, практика, видеокурс / Новиков Ф. А., Иванов Д. Ю |
|
2012 |
Орлов, Сергей Александрович (доктор технических наук, программирование) |
Технологии разработки программного обеспечения : современный курс по программной инженерии : учебник для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направлений подготовки дипломированных специалистов "Информатика и вычислительная техника" / С. А. Орлов, Б. Я. Цилькер |
|
1974 |
|
Отладка систем управляющих алгоритмов : ЦВМ реального времени |
|
2012 |
Синицын, Сергей Владимирович (кандидат технических наук) |
Верификация программного обеспечения : учебное пособие / С. В. Синицын, Н. Ю. Налютин |
|
2015 |
Юхимец, Дмитрий Александрович (доктор технических наук) |
Методы формирования программных сигналов и высокоточного управления скоростным движением подводных аппаратов : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Юхимец Дмитрий Александрович ; [Институт автоматики и процессов управления Дальневлсточного отделения РАН] |
|
2018 |
Бэнкс, Алекс (программирование) |
React и Redux : функциональная веб-разработка : [перевод с английского] / Алекс Бэнкс, Ева Порселло |
|
2018 |
Мюллер, Джон Пол (информационные технологии ; род. 1958) |
Алгоритмы для чайников : [перевод с английского] / Джон Поль Мюллер, Лука Массарон |
|
2019 |
Родионова, Людмила Евгеньевна |
Модели и методы проектирования программных аналитических комплексов с декартово замкнутой категорией : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Родионова Людмила Евгеньевна ; [Уфимский государственный авиационный технический ] |
|
2018 |
Эванс, Эрик (программист ; род. 1962) |
Предметно-ориентированное проектирование : структуризация сложных программных систем : [перевод с английского] / Эрик Эванс ; [предисловие Мартина Фаулера] |
|
2019 |
Сысоева, Леда Аркадьевна (кандидат технических наук) |
Управление проектами информационных систем : учебное пособие : для студентов высших учебных заведений, обучающихся по направлениям подготовки 09.03.03 "Прикладная информатика", 38.03.02 "Менеджмент", 38.03.05 "Бизнес-информатика" / Л. А. Сысоева, А. Е. Сатунина |
|
2019 |
Черткова, Елена Александровна (доктор технических наук) |
Программная инженерия. Визуальное моделирование программных систем : учебник для академического бакалавриата [по направлениям "Компьютерные и информационные науки", "Информатика и вычислительная техника" и изучающих учебные дисциплины "Программная инженерия", "Проектирование информационных систем", "Разработка программных систем"] : для студентов высших учебных заведений, обучающихся по инженерно-техническим направлениям / Е. А. Черткова |
|
2020 |
Кубенский, Александр Александрович (младший ; кандидат физико-математических наук ; род. 1955) |
Функциональное программирование : учебник и практикум для вузов : для студентов высших учебных заведений, обучающихся по инженерно-техническим направлениям / А. А. Кубенский ; Университет ИТМО |
|
2020 |
Лаврищева, Екатерина Михайловна (доктор физико-математических наук ; род. 1937) |
Программная инженерия и технологии программирования сложных систем : учебник для вузов : учебное пособие для студентов вузов, обучающихся по направлению подготовки "Прикладные математика и физика", а также по другим математическим и естественнонаучным направлениям / Е. М. Лаврищева ; Институт системного программирования РАН, Московский физико-технический институт ( государственный университет) |
|
2020 |
Соснин, Петр Иванович (доктор технических наук ; род. 1945) |
Архитектурное моделирование автоматизированных систем : учебник / П. И. Соснин |
|
2021 |
Брукс, Фредерик Филлипс (младший ; информационные технологии ; род. 1931) |
Мифический человеко-месяц, или Как создаются программные системы : [очерки о программной инженерии] / Фредерик Брукс младший ; [перевел с английского А. Логунов] |
|
2022 |
Закур, Мухаммад |
Статистический анализ и прогнозирование индикаторов развития информационных систем : автореферат диссертации на соискание ученой степени кандидата экономических наук : специальность 5.2.3 Региональная и отраслевая экономика / Закур Мухаммад ; [Российский экономический университет им. Г. В. Плеханова] |
|
1999 |
Черкашин, Евгений Александрович |
Программная система квант/1 для автоматического доказательства теорем : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.11 / Рос. акад. наук, Сиб. отд-ние, Ин-т динамики систем и теории упр |
|
2003 |
Смит, Конни |
Эффективные решения : Практ. рук. по созданию гибкого и масштабируемого програм. обеспечения : Пер. с англ. / Конни Смит, Ллойд Уильямс |
|
1994 |
Шкаев, Александр Владимирович |
Руководство по работе на персональном компьютере : Справочник |
|
1975 |
Фурунжиев, Решат Ибраимович (доктор технических наук ; 1938—2009) |
Вычислительная техника и ее применение : учебное пособие для высших технических учебных заведений / Р. И. Фурунжиев |
|
2009 |
|
Автоматизация проектирования гильотинного раскроя с обходом дефектных областей на базе эволюционных алгоритмов / Э. А. Мухачева [и др.] |
|
2003 |
Ивановский, Р. И. |
Компьютерные технологии в науке и образовании. Практика применения систем MathCAD Pro : Учеб. пособие для вузов / Р.И.Ивановский |
|
2003 |
Дзюба, Д. В. |
Автоматизированное моделирование программных систем / Д.В.Дзюба, С.С.Крылов; Под ред. В.Е.Зайцева |
|
2003 |
Бобровский, Сергей Игоревич (программист) |
Программная инженерия. Технологии Пентагона на службе российских программистов / С. Бобровский |
|
1999 |
|
Проблема 2000 : Справ.кн.рук. / А.В.Волокитин,А.П.Маношкин,А.В.Макешин и др.;Под общ.ред.А.Е.Крупнова |
|
2000 |
Уилсон, С. Ф. |
Принципы проектирования и разработки программного обеспечения.Учебный курс MCSD : Офиц.пособие Microsoft для самостоят.подгот.к экзамену 70-100:Пер.с англ. / С.Ф.Уилсон,Б.Мэйплс,Т.Лэндгрейв |
|
2001 |
Трофимов, С. А. (юрист) |
Case-технологии:практическая работа в Rational Rose / С.А.Трофимов |
|
2005 |
Гандер, Вальтер |
Решение задач в научных вычислениях с применением Maple и Matlab : пер. с англ. / Вальтер Гандер, Иржи Гржебичек |
|
2010 |
Карпов, Юрий Глебович (доктор технических наук) |
MODEL CHECKING. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов |
|
1988 |
Гырдымов, Герман Петрович |
Проектирование постпроцессоров для оборудования гибких производственных систем / Г. П. Гырдымов, В. И. Молочник, А. И. Гольштейн |
|
2014 |
Свистунов, Алексей Николаевич |
Построение распределенных программных систем на Java : учебное пособие / А. Н. Свистунов |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ