Return to search

Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17

No description available.
Identiferoai:union.ndltd.org:urfu.ru/oai:elar.urfu.ru:10995/84648
Date January 2020
CreatorsШабана, Х. М. Д.
ContributorsВолков, М. В.
Publisherб. и.
Source SetsUral Federal University
LanguageRussian
Detected LanguageRussian
TypeThesis
Formatapplication/pdf
RightsПредоставлено автором на условиях простой неисключительной лицензии, http://elar.urfu.ru/handle/10995/31613

Page generated in 0.0067 seconds