Ульянцев Владимир Игоревич. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений :

Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей



  • Название:
  • Ульянцев Владимир Игоревич. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений
  • Кол-во страниц:
  • 129
  • ВУЗ:
  • Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский национальный исследователь
  • Год защиты:
  • 2015
  • Краткое описание:
  • Ульянцев Владимир Игоревич. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : диссертация ... кандидата технических наук: 05.13.11 / Ульянцев Владимир Игоревич;[Место защиты: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»].- Санкт-Петербург, 2015.- 129 с.
  • Список литературы:
  • -
  • Стоимость доставки:
  • 230.00 руб


ПОИСК ДИССЕРТАЦИИ, АВТОРЕФЕРАТА ИЛИ СТАТЬИ




Доставка любой диссертации из России и Украины


ПОСЛЕДНИЕ ДИССЕРТАЦИИ

Воронцов Олег Григорьевич Принципы бюджетной системы Российской Федерации: теоретико-правовые основы реализации
Исмаилов Исмаил Шапурович Пруденциальное регулирование банковской деятельности
Рустамов Джумабек Юнусович Организационно−правовые основы государственного финансового контроля в сфере бюджетных отношений Республики Таджикистан
Рыбкова Алёна Юрьевна Организация страхового дела и страхового надзора в Российской Федерации как объекты финансово-правового регулирования
Ем Артемий Владимирович Правовое регулирование взимания НДС при международной торговле услугами в электронной форме

ПОСЛЕДНИЕ СТАТЬИ И АВТОРЕФЕРАТЫ

Нечитайло Тетяна Андріївна ГЕНЕЗИС ОБРАЗУ ФІЗИЧНОГО Я У ПІДЛІТКОВОМУ ВІЦІ
ВАН МІНЦЗЕ ЛІРИЧНА СЕМАНТИКА ЖІНОЧИХ ОБРАЗІВ В ОПЕРНІЙ ТВОРЧОСТІ (Г. ДОНІЦЕТТІ, Ш. ГУНО, М. РИМСЬКИЙ-КОРСАКОВ, ДЖ. ПУЧЧІНІ)
ГЛУШКО ОКСАНА ЗІНОВІЇВНА ВИХОВАННЯ НАЦІОНАЛЬНИХ ЦІННОСТЕЙ В УКРАЇНСЬКОМУ ШКІЛЬНИЦТВІ США
ДЕН КАЙЮАНЬ КАМЕРНО-ВОКАЛЬНА МІНІАТЮРА У ТВОРЧОСТІ КИТАЙСЬКИХ КОМПОЗИТОРІВ 1980 - 90-Х РОКІВ: ЖАНРОВА СТИЛІСТИКА
ДУ ВЕЙ ПОЕТИКА КАМЕРНО-ВОКАЛЬНОГО ЦИКЛУ В КОМПОЗИТОРСЬКІЙ ТВОРЧОСТІ ДРУГОЇ ПОЛОВИНИ ХХ СТОЛІТТЯ (на прикладі камерно-вокальних творів С. Слонімського)