Вы здесь

Главная

Вестник НГУ

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

Инструментальные средства фактографического анализа документов в информационных системах, основанных на онтологиях
Компилятор в системе функционального программирования
Методы навигации при визуализации графов
Моделирование и анализ производительности параллельных процессов в алгебре dtsPBC
Моделирование и верификация взаимодействия функциональностей в телефонных сетях при помо и конечных автоматов и раскрашенных сетей Петри
Система подготовки кадров для сибирской науки
Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов
Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов
Эквивалентности стохастических сетей Петри и алгебр стохастических процессов
Язык описания онтологических систем перходов OTSL как средство формальной спецификации программных систем
Язык описания онтологических систем перходов OTSL как средство формальной спецификации программных систем