Автоматический вывод индуктивных инвариантов программ с алгебраическими типами данных = : Automatic inference of inductive invariants of programs with algebraic data types : в 2-х т.

Другие работы по этой специальности

1. Управление большими данными облачных сервисов на основе многостадийных алгоритмов и средств их динамического перераспределения

   Сотников, Дмитрий Владимирович · 2026 · Канд. наук · Воронежский государственный технический университет ; Диссовет 24.2.286.04 (Д 212.037.13)

   • 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
2. Методы и алгоритмы обнаружения дефектов поверхности углеродных материалов на основе изображений со сканирующего электронного микроскопа

   Курбаков, Михаил Юрьевич · 2026 · Канд. наук · «Тульский государственный университет» ; Диссовет 24.2.417.03 (Д 212.271.07)

   • 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
3. Методы и алгоритмы автоматической генерации сообщений к коммитам для повышения качества сопровождения программных систем

   Косьяненко, Иван Александрович · 2026 · Канд. наук · МИРЭА - Российский технологический университет ; Диссовет 24.2.326.09 (Д 212.131.XX)

   • 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
4. Методы и алгоритмы распознавания сцен для задач глобальной локализации мобильных роботов

   Московский, Антон Дмитриевич · 2026 · Канд. наук · Институт проблем управления им. В. А.Трапезникова Российской академии наук ; Диссовет 24.1.107.03 (Д 002.226.XX)

   • 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
5. Исследование и разработка программного обеспечения специализированной СУБД для многослойных печатных плат вычислительных комплексов

   Федоткин, Алексей Сергеевич · 2026 · Канд. наук · «МИРЭА - Российский технологический университет» ; Диссовет 24.2.326.09 (Д 212.131.XX)

   • 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей

Все работы по специальности