Refine your search
Availability
-
bib-level
-
Authors
-
Topics
- LUTs, программируемые блоки памяти (1)
- ROBDD-графы (3)
- SAT-решатели (4)
- КНФ разрешения (1)
- Цейтина КНФ (1)
- алгоритмы построения (1)
- булевы функции (1)
- вентильные схемы (2)
- вредоносные подсхемы (3)
- вредоносные программы (1)
- диагностика (1)
- дискретные устройства (1)
- дополнительные вентили (1)
- защита от вредоносных подсхем (1)
- интегральные схемы (2)
- комбинационные логические схемы (4)
- комбинационные схемы (3)
- корректирующие схемы (2)
- логические неисправности (3)
- логические схемы (2)
- Show more
- Show less