unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ		История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления
Профессионалам
ПоискЭкспорт данных/ Z39.50BelmarcМетодические решения

   Запрос: a001a="BY-SEK-ar10187955"
   Записи: 1 - 1 из 1 (стр. 1 из 1)

Сортировать по: 
№Дата Автор Заглавие
2015 Ульянцев, Владимир Игоревич Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Ульянцев Владимир Игоревич ; [Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики]
Записей на стр.

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси