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

Сохранено в:
Шифр документа: 2Н//103112(039), 2Н//103258(039),
Вид документа: Авторефераты диссертаций
Автор: Новиков, Д. Я. (род. 1983)
Опубликовано: Минск , 2011
Физические характеристики: 22 с.
Язык: Русский
Предмет:
Е-документ: E-документ
00000cam0a2200000 ia4500
001 BY-NLB-br0000628291
005 20130430185835.5
100 # # $a 20110126d2011 k y0rusy50 ca 
101 0 # $a rus 
102 # # $a BY 
105 # # $a y m 000yy 
109 # # $a ac  $a aa 
200 1 # $a Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности  $e автореферат диссертации на соискание ученой степени кандидата технических наук  $e 05.13.12  $f Новиков Дмитрий Яковлевич  $g Государственное научное учреждение "Объединенный институт проблем информатики Национальной академии наук Беларуси" 
210 # # $a Минск  $d 2011 
215 # # $a 22 с. 
300 # # $a Резюме на русском, белорусском, английском языках 
311 # # $a В фонде имеется диссертация 
320 # # $a Библиография: с. 17—19 (25 назв.) 
488 # 0 $1 001BY-NLB-br0000683256 
606 0 # $3 BY-NLB-ar2121092  $a СВЕРХБОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar5128  $a ВЕРИФИКАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar16592  $a ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ (вычисл. техника)  $2 DVNLB 
606 0 # $3 BY-NLB-ar3127121  $a КОМБИНАЦИОННЫЕ ЦИФРОВЫЕ УСТРОЙСТВА  $2 DVNLB 
606 0 # $3 BY-NLB-ar13992  $a КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ  $2 DVNLB 
615 # # $a Белорусский национальный документ 
675 # # $a 004.312.052.42(043.3)  $v 4  $z rus 
686 # # $a 05.13.12  $2 nsnrrb 
686 # # $a 50.09.31  $2 rugasnti  $v 6 
700 # 1 $3 BY-SEK-ar2025300  $a Новиков  $b Д. Я.  $g Дмитрий Яковлевич  $c кандидат технических наук  $f род. 1983 
801 # 0 $a BY  $b BY-HM0000  $c 20110126  $g psbo 
830 # # $a 15.03.2011 
856 4 # $u http://content.nlb.by/content/dav/nlb/DDC/AD/1296112347_k_Novikov.pdf