Вы здесь

Главная

Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II

Связанные издания:

Алгебраическая модель совокупности типов объектов с неявным состоянием
Верификация коммуникационных протоколов, представленных на языках Estelle и SDL
Декларативный язык описания многоагентных систем и его применения
Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри
Моделирование Estelle-спецификаций посредством раскрашенных сетей Петри
Об окружении разработки параллельных алгоритмов
Подход к интеграции технологии баз знаний с мульти-агентной технологией
Роль М.А.Лаврентьева и сибирских математиков в становлении отечественной вычислительной техники
Сужение как техника автоматического доказательства
Сужение как техника автоматического доказательства
Трансляция SDL-спецификаций в раскрашенныые сети Петри
Трансляция SDL-спецификаций в раскрашенныые сети Петри
Электронные документы как объекты в информационном пространстве
Электронные документы как объекты в информационном пространстве