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

Поиск


Текущие фильтры:



Начать новый поиск
Добавить фильтры:

Используйте фильтры для уточнения результатов поиска.

 | 
Результаты 1-2 из 2.
  • назад
  • 1
  • дальше
Найденные ресурсы:
Дата выпускаНазваниеАвтор(ы)
2013Применение табличного алгоритма для верификации моделей бизнес-процессовIvashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О.
2013Optimized absorption method to reduce the time of tableaux algorithmГригорьев, А. В.; Овсянникова, Е. О.; Grigorev, A. V.; Ovsyannikova, E. O.

Просмотр