ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/84648| Название: | Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 |
| Авторы: | Шабана, Х. М. Д. |
| Научный руководитель: | Волков, М. В. |
| Дата публикации: | 2020 |
| Издатель: | б. и. |
| Библиографическое описание: | Шабана Х. М. Д. Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Х. М. Д. Шабана ; [Место защиты: Уральский федеральный университет им. первого Президента России Б.Н. Ельцина]. — Екатеринбург, 2020. — 18 с. — Библиогр.: с. 16-18 (24 назв.). |
| Ключевые слова: | NONDETERMINISTIC AUTOMATON RANDOM AUTOMATON SAT SATSOLVER АВТОРЕФЕРАТЫ ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ |
| Код специальности ВАК: | 05.13.17 |
| Специальность: | Теоретические основы информатики |
| URI: | http://elar.urfu.ru/handle/10995/84648 |
| Условия доступа: | Предоставлено автором на условиях простой неисключительной лицензии |
| Текст лицензии: | http://elar.urfu.ru/handle/10995/31613 |
| Располагается в коллекциях: | Авторефераты и диссертации |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| urfu2147.pdf | 293,04 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.