Refine your search
Availability
-
Bibliographic level
-
Authors
-
Topics
- ROBDD-графы [x]
- булевы функции [x]
- комбинационные схемы (2)
- троичное моделирование (2)
- CUDD, пакет решающих диаграмм (1)
- интервальные расширения (1)
- логические схемы (1)
- моделирование (1)
- последовательностные схемы (1)
- проверяющие тесты (1)
- синхронные схемы (1)
- функции переходов в состояния (1)
- Show more
- Show less