1. Электронный научный архив УрФУ
  2. 00. Общеуниверситетские коллекции
  3. Авторефераты и диссертации
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/83662
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.advisorVolkov, M. V.en
dc.contributor.authorShabana, H. M. D.en
dc.date.accessioned2020-06-05T04:03:22Z-
dc.date.available2020-06-05T04:03:22Z-
dc.date.issued2020-
dc.identifier.citationShabana H. M. D. Synchronization of partial and non-deterministic automata: a sat-based approach : dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17 / H. M. D. Shabana ; [Place of defense: Ural Federal University named after the first President of Russia B.N. Yeltsin]. — Yekaterinburg, 2020. — 161 p. — Bibliography: pp. 148-158 (91 titles).en
dc.identifier.urihttp://elar.urfu.ru/handle/10995/83662-
dc.format.mimetypeapplication/pdfen
dc.language.isoruen
dc.publisherб. и.ru
dc.rightsПредоставлено автором на условиях простой неисключительной лицензииru
dc.rights.urihttp://elar.urfu.ru/handle/10995/31613-
dc.subjectNONDETERMINISTIC AUTOMATONen
dc.subjectRANDOM AUTOMATONen
dc.subjectSATen
dc.subjectSATSOLVERen
dc.subjectДИССЕРТАЦИИru
dc.subjectТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИru
dc.titleSynchronization of partial and non-deterministic automata: a sat-based approach : dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17en
dc.title.alternativeСинхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.17ru
dc.typeThesisen
dc.subject.oksvnk05.13.17-
dc.thesis.degreeКандидат физико-математических наукru
dc.thesis.levelКандидат наукru
dc.thesis.disciplineТеоретические основы информатикиru
Располагается в коллекциях:Авторефераты и диссертации

Файлы этого ресурса:
Файл Описание РазмерФормат 
urfu2147_d.pdf2,32 MBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Статистика  Google Scholar





Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.