| № | Дата |
Автор |
Заглавие |
|---|
|
2006 |
|
Proof technology and computation : [proc. of the NATO advanced study inst. on proof technology a. computation, Marktoberdorf, Germany, 29 July - 10 Aug. 2003] / ed. by Helmut Schwichtenberg, Katharina Spies |
|
2020 |
Шубин, Владимир Владимирович |
Верификация топологии интегральных схем : [монография] / В. В. Шубин |
|
2011 |
Каленкова, Анна Алексеевна (кандидат физико-математических наук) |
Автоматическая верификация и оптимизация потоков работ : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Каленкова Анна Алексеевна ; [Учреждение Российской академии наук "Вычислительный центр им. А. А. Дородницына РАН"] |
|
2022 |
Писарев, Илья Александрович |
Разработка методов анализа программных реализаций криптографических протоколов для обнаружения атак на основе формальной верификации и динамического анализа : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 2.3.6 Методы и системы защиты информации, информационная безопасность / Писарев Илья Александрович ; [Южный федеральный университет] |
|
2005 |
Лузин, Михаил Сергеевич |
Модели и алгоритмы верификации топологии печатного монтажа : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Лузин Михаил Сергеевич ; [Северо-Западный технический университет] |
|
2013 |
Перченок, Олег Владимирович |
Модели и алгоритмы верификации решений задач в системах электронного обучения : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.06 Автоматизция и управление технологическими процессами и производствами (образование) / Перченок Олег Владимирович ; [Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина)] |
|
2011 |
|
Верификация автоматных программ / С. Э. Вельдер [и др.] ; Министерство образования и науки Российской Федерации, Санкт-Петербургский государственный университет информационных технологий, механики и оптики |
|
2015 |
Кривчиков, Максим Александрович (кандидат физико-математических наук) |
Формальные модели и верификации свойств программ с использованием промежуточного представления : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Кривчиков Максим Александрович ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2006 |
Башкиров, Алексей Викторович (доктор технических наук) |
Разработка моделей и алгоритмов верификации в САПР высокоразрядных СБИС спектрального анализа : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Башкиров Алексей Викторович ; [Воронежский государственный технический университет] |
|
2005 |
|
Engineering theories of software intensive systems : [proc. of the NATO advanced study institute on engineering theories of software systems, Marktoberdorf, Germany, 3-15 Aug. 2004] / ed. by Manfred Broy [et al.] |
|
2012 |
Зо Мьо Хтет |
Исследование и разработка параллельных методов вывода на аналитических таблицах : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Зо Мьо Хтет ; [Институт автоматики и вычислительной техники НИУ "МЭИ"] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ