Международная конференция
по вычислительной математике
МКВМ-2004
Рабочее Совещание
"Распределенные информационно-вычислительные ресурсы
и математическое моделирование"
21-25 июня 2004 г.
Академгородок, Новосибирск, Россия
Список докладов
- Кузьмин Е.В., Соколов В.А. Проверка модели для вполне упорядоченных систем переходов автоматного типа
© 1996-2004, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2004, Сибирское отделение Российской академии наук, Новосибирск