Вы здесь

Главная

Молодая информатика 2

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

XML-алгебра для языка запросов XQUERY
Автоматическое восстановление бизнес-логики программ
Временные структуры конфигураций: поведенческие эквивалентности и детализация действий
Двух- и трехмерная визуализация множества решений в системе Unicalc
Обнаружение взаимодействия функциональностей в телефонных сетях с помо ью раскрашенных сетей Петри
Открытые морфизмы и временная тестовая эквивалентность для временных автоматных моделей
Разработка модели адаптивного поведения анимата на основе семантического вероятностного вывода
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Формальная модель диаграммы классов языка UML
Формальная модель диаграммы классов языка UML
Формальная модель основных понятий языка C#
Формальная модель основных понятий языка C#
Человеко-машинная модель языка мышления
Человеко-машинная модель языка мышления