Приложение
для AndroidПолное описание
519.7/Ш 123
Шабана, Ханан Магди Дарвиш Синхронизация частичных и недетерминированных автоматов: подход на основе SAT-решателей : 05.13.17 - теоретические основы информатики : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Шабана Ханан Магди Дарвиш ; Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. - Екатеринбург : [б. и.], 2020. - 18 с. : ил. - Библиогр.: с. 16-18. - 100 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 28.25 | 519.713(043) |
Кл.слова (ненормированные): теория автоматов -- конечные автоматы -- частичные детерминированные автоматы -- недетерминированные автоматы -- выполнимость
Доп. точки доступа:
Уральский федеральный университет имени первого Президента России Б. Н. Ельцина (Екатеринбург)
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Экономика региона : научный журнал / Институт экономики (Екатеринбург), Уральский федеральный университет имени первого Президента России Б. Н. Ельцина (Екатеринбург). - Журнал выходит с 2005г. - Текст : непосредственный.Университетское управление: практика и анализ : научно-практический журнал / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина (Екатеринбург), Томский государственный университет. - Журнал выходит с 2005г. - Текст : непосредственный.Аналитика и контроль : научный журнал по аналитической химии и аналитическому контролю / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина (Екатеринбург). - Журнал выходит с 1997г. - Текст : непосредственный.Вестник УрФУ. Серия Экономика и управление : научно-аналитический журнал / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина (Екатеринбург). - Журнал выходит с 2011г. - Текст : непосредственный.Красильников А.Я. Особенности использования магнитной муфты в конструкциях герметичных машин / А. Я. Красильников, 2017. - 279 с.Новиков Г.А. Обеспечение безопасности в области использования атомной энергии : учебник / Г. А. Новиков, О. Л. Ташлыков, С. Е. Щеклеин, 2017. - 550 с. - Текст : непосредственный.Проблемы спектроскопии и спектрометрии : вузовско-академический периодический сборник научных трудов / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. Вып. 38, 2017. - 132 с. - Текст : непосредственный.Антимонов А.М. Основы технологии машиностроения : учебник / А. М. Антимонов, 2017. - 175 с.Актуальные проблемы развития технических наук : сборник статей участников XX Областного конкурса научно-исследовательских работ "Научный Олимп" по направлению "Технические науки" / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина, 2018. - 154 с.Актуальные проблемы развития естественных наук : сборник статей участников XX Областного конкурса научно-исследовательских работ "Научный Олимп" по направлению "Естественные науки" / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина, 2018. - 138 с.Актуальные проблемы электромеханики и электротехнологий. АПЭЭТ-2017 : сборник научных трудов : материалы международной конференции / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина, 2017. - 255 с. - Текст : непосредственный.Томашова Л.А. Определение природных радионуклидов в подземных питьевых водах Свердловской области / Л. А. Томашова. - Текст : непосредственный // Актуальные проблемы развития естественных наук : сборник статей участников XX Областного конкурса научно-исследовательских работ "Научный Олимп" по направлению "Естественные науки" / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. - Москва : Изд-во Эдитус, 2018. - с. 5-9Майоров А.М. Оценка степени самозарастания породных отвалов как метод улучшения экологической ситуации в регионе и снижения затрат горных предприятий на их рекультивацию (для условий ОАО "Ураласбест") / А. М. Майоров, М. А. Ларионов // Актуальные проблемы развития естественных наук : сборник статей участников XX Областного конкурса научно-исследовательских работ "Научный Олимп" по направлению "Естественные науки" / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. - Москва : Изд-во Эдитус, 2018. - с. 22-26Рукавичников С.А. Оценка экологического состояния почв города Екатеринбурга / С. А. Рукавичников , Т. В. Сарапулова // Актуальные проблемы развития естественных наук : сборник статей участников XX Областного конкурса научно-исследовательских работ "Научный Олимп" по направлению "Естественные науки" / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. - Москва : Изд-во Эдитус, 2018. - с. 131-134Метеориты, астероиды, кометы : материалы V конференции молодых ученых с международным участием, Екатеринбург, 2-4 февраля 2017 г. / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина [и др.], 2017. - 189 с. - Текст : непосредственный.Физика космоса : труды 47-й Международной студенческой научной конференции (Екатеринбург, 29 января - 2 февраля 2018 г.) / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина, 2018. - 365 с. - Текст : непосредственный.Сачков И.Н. Основные эффекты синергетики в природе, обществе и спорте : учебное пособие / И. Н. Сачков, В. М. Кормышев, Е. С. Набойченко ; под общ. ред. И.Н. Сачкова , 2017. - 175 с. - Текст : непосредственный.Чеботарева Г.С. Инвестиционная привлекательность энергогенерирующей компании : монография / Г. С. Чеботарева ; [науч. ред. А. Ю. Домников], 2017. - 214, [4] с.Библиотека Императорского Царскосельского (Александровского) лицея в Екатеринбурге / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина [и др.]. Т. 2 : Западноевропейские издания, опубликованные до 1800 года. Из собрания отдела редких книг Зональной научной библиотеки Уральского федерального университетач. 1. А - Н / О. М. Кадочигова [и др.], 2017. - 572 с.Ремонт и техническое обслуживание оборудования паротурбинных установок : справочник : в 2 т. / Уральский федеральный университет имени первого Президента России Б. Н. Ельцина ; под общ. ред. Ю. М. Бродова. Т. 1 / Ю. М. Бродов [и др.], 2017. - 538 с.
Показать все результатыСветло-темная структура интерференционных линий Косселя и анализ кристаллической структуры /II/ / ТПП УССР. - 37 c. - Текст : непосредственный.Иванова Е.А. Синтез корректных алгоритмов типа вычисления оценок : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Е. А. Иванова, 1991. - 15 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Куракин А.Л. Методы вероятностного расчета быстродействия апериодических автоматов и их приложения к повышению эффективности обработки экспериментальных данных.Решающие системы,океанологический мониторинг : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.04.01 / А. Л. Куракин, 1992. - 37 с. - Текст : непосредственный.Кабаве М.А. Конечно-автоматные методы преобразования и оптимизации нечетких языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. А. Кабаве, 1993. - 16 с. - Текст : непосредственный.Аль Ясин Д.А. Волновые процесcы взаимодействия звеньев однородных клеточных цепей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Д. А. Аль Ясин, 1993. - 15 с. - Текст : непосредственный.Соловьев В.Д. Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / В. Д. Соловьев, 1995. - 23 с. - Текст : непосредственный.Мох'д Гассан Изеддин Абаза.Модели и методы поиска оптимальных программных реализаций простых зацикленных алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Мох'д Гассан Изеддин Абаза, 1995. - 15 с. - Текст : непосредственный.Адамацкий А.И. Идентификация клеточных автоматов: теория и приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. И. Адамацкий, 1996. - 19 с. - Текст : непосредственный.Осетрова Т.А. Алгоритмы исключения неизвестных, основанные на теории многомерных вычетов, и их компьютерная реализация : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Т. А. Осетрова, 1996. - 13 с. - Текст : непосредственный.Евневич Е.Л. Автоматизация выбора и синтеза комбинированных алгоритмов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Е. Л. Евневич, 1996. - 14 с. - Текст : непосредственный.Демидов А.В. Автоволновые процессы в однородных клеточных средах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Демидов, 1996. - 15 с. - Текст : непосредственный.Карасева Л.Э. Теоремы существования статических алгоритмов группового тестирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Л. Э. Карасева, 1997. - 15 с. - Текст : непосредственный.Бородай С.Ю. Эксперименты в эффективно заданных классах автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / С. Ю. Бородай, 1997. - 21 с. - Текст : непосредственный.Курганский А.Н. Неотличимость конечных автоматов, взаимодействующих со средой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. Н. Курганский, 1997. - 21 с. - Текст : непосредственный.Кац М.М. Упорядоченные автоматы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. М. Кац, 1997. - 16 с. - Текст : непосредственный.Мамаев В.В. Построение корректных моделей алгоритмов ограниченной емкости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / В. В. Мамаев, 1998. - 16 с. - Текст : непосредственный.Мещерякова О.В. Методы синтеза и анализа некоторых классов автоматов-перечислителей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / О. В. Мещерякова, 1998. - 17 с. - Текст : непосредственный.Васильев Н.П. Разработка и исследование алгоритмов хэширования и генерации псевдослучайных последовательностей : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Н. П. Васильев, 1998. - 20 с. - Текст : непосредственный.Макаров В.В. О порождающих системах групп автоматных перестановок : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Макаров, 1998. - 8 с. - Текст : непосредственный.
Показать все результатыКуракин А.Л. Методы вероятностного расчета быстродействия апериодических автоматов и их приложения к повышению эффективности обработки экспериментальных данных.Решающие системы,океанологический мониторинг : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.04.01 / А. Л. Куракин, 1992. - 37 с. - Текст : непосредственный.Сытник А.А. Методы и модели функционального восстановления поведения дискретных систем с памятью : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / А. А. Сытник, 1993. - 31 с. - Текст : непосредственный.Кабаве М.А. Конечно-автоматные методы преобразования и оптимизации нечетких языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. А. Кабаве, 1993. - 16 с. - Текст : непосредственный.Кальянов Л.В. Устойчивость поведения автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Л. В. Кальянов, 1993. - 22 с. - Текст : непосредственный.Аль Ясин Д.А. Волновые процесcы взаимодействия звеньев однородных клеточных цепей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Д. А. Аль Ясин, 1993. - 15 с. - Текст : непосредственный.Липский В.Б. Разработка и реализация алгоритмов логического проектирования управляющих автоматов, устойчивых к состязаниям : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / В. Б. Липский, 1994. - 16 с. - Текст : непосредственный.Агибалов Г.П. Дискретные автоматы на полурешетках : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / Г. П. Агибалов, 1993. - 40 с. - Текст : непосредственный.Ключников А.В. О синтезе автоматов по конечным фрагментам их поведения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Ключников, 1993. - 9 с. - Текст : непосредственный.Аблаев Ф.М. Коммуникационная сложность вероятностных вычислений и некоторые ее приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Ф. М. Аблаев, 1994. - 18 с. - Текст : непосредственный.Чирков М.К. Проблемы и методики теории обобщенных математических моделей конечно-автоматного типа : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.18 / М. К. Чирков, 1994. - 65 с. - Текст : непосредственный.Грунская В.И. О некоторых свойствах траекторий автоматов в лабиринтах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. И. Грунская, 1995. - 18 с. - Текст : непосредственный.Адамацкий А.И. Идентификация клеточных автоматов: теория и приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. И. Адамацкий, 1996. - 19 с. - Текст : непосредственный.Демидов А.В. Автоволновые процессы в однородных клеточных средах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Демидов, 1996. - 15 с. - Текст : непосредственный.Думов А.С. О росте конфигураций в однородных структурах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. С. Думов, 1997. - 13 с. - Текст : непосредственный.Бородай С.Ю. Эксперименты в эффективно заданных классах автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / С. Ю. Бородай, 1997. - 21 с. - Текст : непосредственный.Курганский А.Н. Неотличимость конечных автоматов, взаимодействующих со средой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. Н. Курганский, 1997. - 21 с. - Текст : непосредственный.Кац М.М. Упорядоченные автоматы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. М. Кац, 1997. - 16 с. - Текст : непосредственный.Мещерякова О.В. Методы синтеза и анализа некоторых классов автоматов-перечислителей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / О. В. Мещерякова, 1998. - 17 с. - Текст : непосредственный.Макаров В.В. О порождающих системах групп автоматных перестановок : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Макаров, 1998. - 8 с. - Текст : непосредственный.Бабин Д.Н. Решение проблемы классификации автоматных базисов поста по разрешимости свойств полноты и А-полноты : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Д. Н. Бабин, 1999. - 19 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽