unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

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

Сортировать по: 
Дата Автор Заглавие
2012 Жигулин, Максим Владимирович Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Жигулин Максим Владимирович ; [Национальный исследовательский Томский государственный университет]
Записей на стр.