|
|
|
|
|
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
|