Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Дмитрий Яковлевич Новиков ; Государственное научное учреждение "Объединенный институт проблем информатики Национальной академии наук Беларуси"

Автор(ы): Новиков, Дмитрий Яковлевич, кандидат технических наук, род. 1983Ответственные организации: Объединенный институт проблем информатики, МинскЯзык документа: Русский.Страна публикации: BY.Издательство: Минск, 2011Физическая характеристика: 22 с.ББК: 05.13.12 ; 50.09.31Note(s): Резюме на русском, белорусском, английском языках; Список публикаций соискателя: с. 17—19 (25 назв.).Наименование темы, используемое как предмет: АВТОРЕФЕРАТЫ | СВЕРХБОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ | ВЕРИФИКАЦИЯ | ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ | КОМБИНАЦИОННЫЕ ЦИФРОВЫЕ УСТРОЙСТВА | КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ Предметная категория: Белорусский национальный документ
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
    средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Авторефераты диссертаций Авторефераты диссертаций
Могилевская областная библиотека. Отдел хранения основного фонда
Выдается

Резюме на русском, белорусском, английском языках

Список публикаций соискателя: с. 17—19 (25 назв.)

Нет никаких комментариев для этого документа.

Войти в учётную запись для возможности публиковать комментарии.
Языки: