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

Козюра В. Е.. Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем : Дис. ... канд. физ.-мат. наук : 05.13.11 : Новосибирск, 2004 85 c. РГБ ОД, 61:04-1/1263
Автор
Козюра В. Е.
Год
2004

  • 99 000 UZS

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

Система управления содержанием WEB сайта
99 000 UZS
Автор
Коршунов Андрей Александрович
Количество страниц
Год
2004
Повышение эффективности применения методов сжатия цифровых изображений
99 000 UZS
Автор
Коршунова Наталья Петровна
Количество страниц
Год
2004
Улучшение эргономических показателей пользовательских интерфейсов WEB-приложений
99 000 UZS
Автор
Кузнецов Антон Михайлович
Количество страниц
Год
2004
Эффективные алгоритмы для операционных систем, поддерживающих распределенную обработку и мягкое реальное время
99 000 UZS
Автор
Гусев Игорь Сергеевич
Количество страниц
Год
2004
Исследование и разработка методов выполнения функционально-параллельных программ
99 000 UZS
Автор
Кузьмин Дмитрий Александрович
Количество страниц
Год
2004
Новостной блок
Модули для Opencart 2, Опенкарт 3