Верификация параметризованных моделей распределенных систем

Коннов Игорь Владимирович. Верификация параметризованных моделей распределенных систем : диссертация ... кандидата физико-математических наук : 05.13.11 / Коннов Игорь Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2008.- 198 с.: ил. РГБ ОД, 61 08-1/608
Автор
Коннов Игорь Владимирович
Год
2008

  • 99 000 UZS

Рекомендуем вам товары

Разработка алгоритмов построения оценок достоверности для систем распознавания речи
99 000 UZS
Автор
Нгуен Минь Туан
Количество страниц
Год
2008
Поиск сценариев событий на гриде источников данных об окружающей среде
99 000 UZS
Автор
Пойда Алексей Анатольевич
Количество страниц
Год
2008
Методы и программные средства для обработки данных электроэнцефалографии
99 000 UZS
Автор
Попова Елена Александровна
Количество страниц
Год
2008
Разработка метода и инструментальных средств создания приложений для системы управления содержанием веб-сайтов
99 000 UZS
Автор
Лебедев Кирилл Сергеевич
Количество страниц
Год
2008
Разработка моделей и алгоритмов составления оптимальных расписаний выполнения программных модулей в вычислительной сети на основе эволюционного подхода
99 000 UZS
Автор
Уральский Николай Борисович
Количество страниц
Год
2017
Новостной блок
Модули для Opencart 2, Опенкарт 3