Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
2449
Краткое содержание:
Экранизация книги

Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>

Автор:
Ульянцев Владимир Игоревич
Год:
2015
Язык:
Русский
Страниц:
15
Описание:
Ульянцев В.И. Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей> / Ульянцев Владимир Игоревич; [Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики]. - Санкт-Петербург, 2015. - 15 с. : ил. ; 21 см. - Библиогр.: с. 14-15 (14 назв.)
Рейтинг по отзывам:
4.5
Рубрики:
Примечания:
Библиогр.: с. 14-15 (14 назв.)
ББК:
З973.2-018
Дата создания:
2021-01-08 14:57:14
Соц. сети:
Совместная разработка инженерных изделий. Как увеличить производительность?
Совместная разработка инженерных изделий. Как увеличить производительность? (Запись вебинара от 5.11.2020).
Softprom — IT Distributor
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
Книга имеет отношение к религии?
Да.
Нет.
Возможно.
Не знаю

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Математическая логика и компьютерные доказательства
Математическая логика и компьютерные доказательства Степан Львович Кузнецов, старший научный сотрудник ...
Магистратура МФТИ
Прикрепить файл
Похожие книги
Прикрепить файл