|
Электронная библиотека >
Диссертации и авторефераты диссертаций >
Диссертации >
Идентификатор документа - используйте, чтобы цитировать или ссылаться на этот документ:
http://dep.nlb.by/jspui/handle/nlb/40198
|
| Заглавие: | Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности |
| Автор(ы): | Новиков Дмитрий Яковлевич |
| Ответственные лица и организации: | Объединенный институт проблем информатики Национальной академии наук Беларуси;доктор технических наук Черемисинова Л.Д. |
| Дата публикации: | 2010 |
| Описание: | диссертация на соискание ученой степени кандидата технических наук
2011-03-15 00:00:00.0
|
| Номенклатура специальности: | 05.13.12 |
| Находится в коллекции: | Диссертации
|
Все документы в электронной библиотеке защищены авторским правом.
|
