Репозиторий ТюмГУ: Browsing DSpace

Browsing by Author Овсянникова, Е. О.

Jump to: 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
А Б В Г Д Е Ё Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
or enter first few letters:

Showing results 1 to 4 of 4

Issue Date	Title	Author(s)
2013	Optimized absorption method to reduce the time of tableaux algorithm	Григорьев, А. В.; Овсянникова, Е. О.; Grigorev, A. V.; Ovsyannikova, E. O.
2013	Use of tableau algorithm for business process verification	Ivashko, 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.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О.

Showing results 1 to 4 of 4