| № | Дата |
Автор |
Заглавие |
|---|
|
2010 |
|
Интеллектуальная технология недоопределенного календарно-ресурсного планирования и управления проектами Time-EX / А. С. Нариньяни [и др.] |
|
2008 |
Бурдонов, Игорь Борисович (род. 1948) |
Теория соответствия для систем с блокировками и разрушениями / И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин |
|
2010 |
Кузьмин, Егор Владимирович (доктор физико-математических наук, информатика) |
Алгоритмические свойства формальных моделей параллельных и распределенных систем : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.17 / Кузьмин Егор Владимирович ; [Ярославский государственный университет им. П. Г. Демидова] |
|
2015 |
Антонов, Вячеслав Викторович (кандидат технических наук) |
Методология проектирования аналитических программных систем для организации их функционального взаимодействия на основе формальных моделей предметной области : автореферат диссертации на соискание ученой степени доктора технических наук : специальность 05.13.11 Системный анализ, управление и обработка информации / Антонов Вячеслав Викторович ; [Уфимский государственный авиационный технический университет] |
|
2015 |
Игнатьев, Валерий Николаевич |
Статистический анализ программ для проверки настраиваемых ограничений языков программирования C и C++ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Игнатьев Валерий Николаевич ; [Институт системного программирования Российской академии наук] |
|
2019 |
Бекенева, Яна Андреевна (кандидат технических наук) |
Формализация процессов обработки и интеллектуального анализа информации от разнородных источников в системах распределенного мониторинга : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Бекенева Яна Андреевна ; [Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина)] |
|
2019 |
Поличка, Анатолий Егорович |
Основы моделирования в условиях компьютеризации и математизации : учебное пособие / А. Е. Поличка ; Министерство науки и высшего образования Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Тихоокеанский государственный университет" |
|
2001 |
Пастухов, Александр Юрьевич |
Адаптация лингвистического обеспечения к естественному языку пользователя : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Пастухов Александр Юрьевич ; [Волгогр. гос. техн. ун-т] |
|
2000 |
Данилова, Ольга Сергеевна |
Исследование качества процессов принятия решений на основе оперативной информации : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.17 Теоретические основы информатики / Данилова Ольга Сергеевна ; Нижегородский государственный технический университет |
|
2009 |
Юсупов, Юрий Вадимович |
Интегрированная методика автоматизированного построения формальных поведенческих моделей С-приложений по исходному коду : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Юсупов Юрий Вадимович ; [ГОУ ВПО "Санкт-Петербургский государственный политехнический университет"] |
|
2011 |
Харечкин, Павел Владимирович |
Разработка функционально-ролевой модели разграничения доступа в социотехнических информационных системах на основе среды радикалов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.19 / Харечкин Павел Владимирович ; [ГОУ ВПО "Ставропольский государственный университет"] |
|
2013 |
Никольский, Алексей Валерьевич (кандидат технических наук) |
Защита облачных вычислений от атак на средства виртуализации : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Никольский Алексей Валерьевич ; [Санкт-Петербургский государственный политехнический университет] |
|
2006 |
Суханов, Андрей Вячеславович (доктор технических наук) |
Формальные модели защищенности информационных технологий на основе общих критериев : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.19 / Суханов Андрей Вячеславович ; [Санкт-Петербургский государственный университет информационных технологий, механики и оптики] |
|
2009 |
Бендума Тахар |
Специализированные модели для проектирования, разработки и реализации информационных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Бендума Тахар ; [Казанский государственный университет] |
|
2012 |
Бардычев, Василий Юрьевич |
Модели оценки рисков несанкционированного доступа и утечки информации на основе модели Take-Grant : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Бардычев Василий Юрьевич ; [Омский государственный университет им. Ф. М. Достоевского] |
|
2012 |
Андронов, Алексей Викторович (кандидат технических наук) |
Формальная модель процессов работы и метод адаптации нейросетевых средств мониторинга безопасности : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.19 Методы и системы защиты информации, информационная безопасность / Андронов Алексей Викторович ; [Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики] |
|
2018 |
Магомадов, Руслан Сайдалиевич |
Поддержка принятия решений при управлении вспомогательными и перевозочными процессами строительства : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.10 Управление в социальных экономических системах / Магомадов Руслан Сайдалиевич ; [Грозненский государственный нефтяной технический университет им. М. Д. Миллионщикова] |
|
2019 |
Пенькова, Татьяна Геннадьевна |
Модели и методы искусственного интеллекта : учебное пособие / Т. Г. Пенькова, Ю. В. Вайнштейн ; Министерство науки и высшего образования Российской Федерации, Сибирский федеральный университет, Институт вычислительного моделирования СО РАН, [Институт космических и информационных технологий] |
|
2011 |
Ульянова, Анна Игоревна |
Модели социальных сетей и нечеткие методы профориентации персонала в системе планирования производственных программ промышленного объединения : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.06 / Ульянова Анна Игоревна ; [Московский автомобильно-дорожный государственный технический университет (МАДИ)] |
|
2011 |
Родионова, Зинаида Валерьевна |
Моделирование и разработка информационной системы формализации и актуализации прав доступа : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.25.05 Информационные системы и процессы / Родионова Зинаида Валерьевна ; [Новосибирский государственный университет экономики и управления] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ