Вы здесь

05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Название диссертации Автор Год Цена Добавить в корзину
Верификация драйверов операционной системы Linux при помощи предикатных абстракций Мутилин Вадим Сергеевич 2012 129 грн
(417 руб)
Добавить в корзину
Верификация параметризованных моделей распределенных систем Коннов Игорь Владимирович 2008 129 грн
(417 руб)
Добавить в корзину
Верификация распределенных программ методом проверки на модели Царьков Дмитрий Викторович 2002 129 грн
(417 руб)
Добавить в корзину
Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий Гаранина Наталья Олеговна 2004 129 грн
(417 руб)
Добавить в корзину
Верификация С-программ с помощью смешанной аксиоматической семантики Марьясов Илья Владимирович 2012 159 грн
(514 руб)
Добавить в корзину
Вероятностные методы оценки выполнимости задач в системах реального времени Дашевский Владимир Павлович 2004 129 грн
(417 руб)
Добавить в корзину
Взаимные преобразования структурных и объемно-ориентированных проектов программного обеспечения информационных систем на основе их обобщенной модели Богословская Наталья Валентиновна 2003 129 грн
(417 руб)
Добавить в корзину
Визуальная технология решения задач проектирования технических устройств и систем Поляков Алексей Юрьевич 2000 129 грн
(417 руб)
Добавить в корзину
Визуально-интерактивная система имитационного моделирования технологических систем Рудометов Сергей Валерьевич 2011 159 грн
(514 руб)
Добавить в корзину
Виртуальный футбол роботов : алгоритмы игроков и среда моделирования Плахов Андрей Григорьевич 2008 129 грн
(417 руб)
Добавить в корзину