Mетоды Анализа Графических Систем

Навигатор курса МАГС: Что и когда читать

Модели производителности прикладных вычислительных систем

Измерение Производительности

Математические модели компьютерной графики

Навигатор курса МОЭВС: Что и когда читать

Общее описание курса МОЭВС

Цепи Маркова в моделировании производительности

Логико-Временная Верификация

Стохастические сети Петри

Программа курса МОЭВС