Вы здесь

Главная

модель

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

Элементарные причинно-следственные структуры
Элемент, а управляет
Эскиз модели пространства в системе представления знаний о действительности
Эффективные алгоритмы в модели квантовых ветвя ихся программ
Эффективные алгоритмы и их программные реализации
Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ
Язык запросов для концептуальных моделей и языков спецификации типа "объект-связь"
Язык описания графовых моделей и алгоритмов GRAMAL
Язык описания графовых моделей и алгоритмов GRAMAL