1. Электронный научный архив УрФУ
  2. 00. Общеуниверситетские коллекции
  3. Авторефераты и диссертации
Please use this identifier to cite or link to this item: http://elar.urfu.ru/handle/10995/84648
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorВолков, М. В.ru
dc.contributor.authorШабана, Х. М. Д.ru
dc.date.accessioned2020-06-16T09:34:05Z-
dc.date.available2020-06-16T09:34:05Z-
dc.date.issued2020-
dc.identifier.citationШабана Х. М. Д. Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Х. М. Д. Шабана ; [Место защиты: Уральский федеральный университет им. первого Президента России Б.Н. Ельцина]. — Екатеринбург, 2020. — 18 с. — Библиогр.: с. 16-18 (24 назв.).ru
dc.identifier.urihttp://elar.urfu.ru/handle/10995/84648-
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.titleСинхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17ru
dc.typeThesisen
dc.subject.oksvnk05.13.17-
dc.thesis.degreeКандидат физико-математических наукru
dc.thesis.levelКандидат наукru
dc.thesis.disciplineТеоретические основы информатикиru
Appears in Collections:Авторефераты и диссертации

Files in This Item:
File Description SizeFormat 
urfu2147.pdf293,04 kBAdobe PDFView/Open
Show simple item record   Google Scholar





Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.