| № | Дата |
Автор |
Заглавие |
|---|
|
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 Информационные системы и процессы / Родионова Зинаида Валерьевна ; [Новосибирский государственный университет экономики и управления] |
|
2012 |
Карлов, Борис Николаевич |
О классах категориальных грамматик зависимостей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Карлов Борис Николаевич ; [Тверской государственный университет] |
|
2017 |
Березун, Даниил Андреевич |
Трассирующая нормализация : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Березун Даниил Андреевич ; [Санкт-Петербургский государственный университет] |
|
2009 |
Анисимов, Михаил Михайлович |
Разработка формальных моделей рассуждающих сетей для анализа параллельных событийных процессов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Анисимов Михаил Михайлович ; [Московский физико-технический институт (государственный университет)] |
|
2011 |
Бакулев, Александр Валериевич (кандидат технических наук) |
Модели и алгоритмы организации мобильных параллельных вычислений в среде многоядерных процессоров : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Бакулев Александр Валериевич ; [ГОУВПО "Рязанский государственный радиотехнический университет"] |
|
2004 |
|
Системная информатика / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. — [Вып.] 9: Формальные методы и модели информатики : сб. науч. тр. / под ред. А.Г. Марчука |
|
2000 |
Лукьянов, Александр Владимирович |
Исследование нейроподобных сетей, работающих со средним значением стохастического потока : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Лукьянов Александр Владимирович ; [Ярославский государственный университет им. П. Г. Демидова] |
|
2001 |
Маркин, Максим Игоревич |
Синтез нейронной сети под заданное приложение : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 05.13.11 / Маркин Максим Игоревич ; Моск. гос. ун-т им. М.В.Ломоносова, Фак. вычисл. математики и кибернетики |
|
1998 |
Fulop, Zoltan |
Syntax-directed semantics : formal models based on tree transducers |
|
2010 |
Кузьмин, Егор Владимирович (доктор физико-математических наук, информатика) |
Алгоритмические свойства формальных моделей параллельных и распределенных систем : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.17 / Кузьмин Егор Владимирович ; [Ярославский гоударственный университет им. П. Г. Демидова] |
|
2002 |
Свертилова, Наталья Викторовна |
Автоматизированное проектирование систем логического управления обогащением золотоносных пород : (алгоритмический этап) : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.12 Системы автоматизации проектирования (промышленность) / Свертилова Наталья Викторовна ; [Московский государственный горный университет] |
|
2008 |
Башкин, Владимир Анатольевич (кандидат физико-математических наук) |
Эквивалентность ресурсов в сетях Петри / В. А. Башкин, И. А. Ломазова |
|
2001 |
Simeone, Claudio |
Deparametrization and path integral quantization of cosmological models / Claudio Simeone |
|
1989 |
Деметрович, Янош |
Автоматизированные методы спецификации : перевод с английского / Я. Деметрович, Е. Кнут, П. Радо |
|
2001 |
Ломазова, Ирина Александровна (доктор физико-математических наук ; род. 1955) |
Анализ семантических свойств некоторых классов программ и сетей Петри : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Ломазова Ирина Александровна ; [Институт программных систем Российской академии наук] |
|
1998 |
Бакулин, Александр Владимирович (информатика) |
Формализованный подход к разработке программного обеспечения |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ