Ви є тут

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

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