|
|
|
|
| LEADER |
02497nlm a2200397 4500 |
| 001 |
libtpu00242514 |
| 008 |
130904s2013 ru a k 0001 m rus |
| 035 |
0 |
0 |
|a (RuTPU)RUTPUbook263831
|
| 040 |
|
|
|a RU
|b rus
|c RU
|d Ru-TPU
|
| 040 |
|
|
|a RU
|c RU
|d Ru-TPU
|
| 080 |
|
|
|a 004.31(075.8)
|
| 245 |
1 |
0 |
|a Основы проектирования и верификации цифровых схем
|b учебное пособие
|c А. И. Солдатов [и др.]
|
| 260 |
|
|
|a Томск
|b Изд-во ТПУ
|c 2013
|
| 500 |
|
|
|a Заглавие с титульного экрана
|
| 500 |
|
|
|a Электронная версия печатной публикации
|
| 650 |
1 |
0 |
|a Цифровая схемотехника
|
| 653 |
|
|
|a электронный ресурс
|
| 653 |
|
|
|a труды учёных ТПУ
|
| 653 |
|
|
|a учебные пособия
|
| 653 |
|
|
|a логические схемы
|
| 653 |
|
|
|a булевы функции
|
| 653 |
|
|
|a логический синтез
|
| 653 |
|
|
|a оптимизация
|
| 653 |
|
|
|a цифровые устройства
|
| 653 |
|
|
|a логические элементы
|
| 653 |
|
|
|a цифровые схемы
|
| 653 |
|
|
|a верификация
|
| 653 |
|
|
|a логика
|
| 653 |
|
|
|a метод Квайна-МакКласки
|
| 653 |
|
|
|a декомпозиция
|
| 700 |
1 |
|
|a Солдатов
|c специалист в области электроники
|c профессор Томского политехнического университета, доктор технических наук
|g Алексей Иванович
|
| 700 |
1 |
|
|a Евтушенко
|g Нина Владимировна
|
| 700 |
1 |
|
|a Кушик
|c специалист в области промышленной и медицинской электроники
|c инженер
|g Наталья Геннадьевна
|
| 700 |
1 |
|
|a Селезнев
|c специалист в области электроники и неразрушающего контроля
|c инженер Томского политехнического университета, аспирант
|g Антон Иванович
|
| 700 |
1 |
|
|a Солдатов
|c специалист в области промышленной и медицинской электроники
|c ассистент Томского политехнического университета
|g Андрей Алексеевич
|
| 856 |
4 |
|
|u http://www.lib.tpu.ru/fulltext2/m/2013/m228.pdf
|
