Рекомендованный список диссертаций по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК
Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование2009 год, доктор физико-математических наук Дехтярь, Михаил Иосифович
Средства и методы ускорения дедуктивного вывода в информационных системах с большим объемом данных2013 год, кандидат технических наук Катериненко, Роман Сергеевич
Система автоматического синтеза функциональных программ2005 год, кандидат физико-математических наук Корухова, Юлия Станиславовна
Верификация С-программ с помощью смешанной аксиоматической семантики2012 год, кандидат физико-математических наук Марьясов, Илья Владимирович
Алгоритмы ускорения планирования траекторий выполнения программ при направленном тестировании2021 год, кандидат наук Щербаков Андрей Сергеевич