1. Репозиторий ТюмГУ

Просмотр собрания по группе - Авторы Ovsyannikova, E. O.

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
или введите несколько первых букв:  
Результаты 1 по 4 из 4
Дата выпускаНазваниеАвтор(ы)
2013Optimized absorption method to reduce the time of tableaux algorithmГригорьев, А. В.; Овсянникова, Е. О.; Grigorev, A. V.; Ovsyannikova, E. O.
2013Use of tableau algorithm for business process verificationIvashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О.
2012Применение дескрипционной логики для описания архитектуры информационной системыIvashko, A. G; Ivanova, E. I.; Ovsyannikova, E. O.; Kolomieyts, S. I.; Ивашко, А. Г.; Иванова, Е. И.; Овсянникова, Е. О.; Коломиец, С. И.
2013Применение табличного алгоритма для верификации моделей бизнес-процессовIvashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О.
Результаты 1 по 4 из 4