Ви є тут

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

Название диссертации Автор Год Цена Добавить в корзину
Технология имитационного моделирования взаимодействующих фондовых потоков в задачах концептуального проектирования систем прикладного программного обеспечения Казаков Сергей Александрович 2004 179 грн
Додати в кошик
Технологии проектирования и создания информационных порталов на основе спецификации функциональной структуры обобщенными сетями Петри Чернев Сергей Петрович 2003 179 грн
Додати в кошик
Технологии и программное обеспечение информационно-аналитических систем на основе геоинформационного интернет-сервера Кадочников Алексей Анатольевич 2006 179 грн
Додати в кошик
Тестирование на основе формальных спецификаций в процессах разработки программных комплексов Петренко Александр Константинович 2003 179 грн
Додати в кошик
Теория семантически значимых отображений и ее применение для проектирования реляционных баз данных Бабанов Алексей Михайлович 2004 179 грн
Додати в кошик
Теория конформности для функционального тестирования программных систем на основе формальных моделей Бурдонов Игорь Борисович 2008 179 грн
Додати в кошик
Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем Грибовская Наталия Сергеевна 2004 179 грн
Додати в кошик
Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем Дубцов Роман Сергеевич 2008 179 грн
Додати в кошик
Текстурная визуализация векторных полей с использованием возможностей графического оборудования Потий Олег Александрович 2005 179 грн
Додати в кошик
Структурный синтез вычислительной системы с помощью генетических алгоритмов Трекин Антон Геннадиевич 2002 179 грн
Додати в кошик