
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

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

Сортировать по:

№	Дата	Автор	Заглавие
	2010	Новиков, Дмитрий Яковлевич (кандидат технических наук ; род. 1983)	Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности : диссертация на соискание ученой степени кандидата технических наук : 05.13.12 : защищена 15.03.11 : утверждена 11.05.11 / Новиков Дмитрий Яковлевич ; научный руководитель Черемисинова Л. Д. ; Государственное научное учреждение Объединенный институт проблем информатики Национальной академии наук Беларуси
	2011	Новиков, Дмитрий Яковлевич (кандидат технических наук ; род. 1983)	Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Новиков Дмитрий Яковлевич ; Государственное научное учреждение "Объединенный институт проблем информатики Национальной академии наук Беларуси"

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