Refine your search
Availability
-
Bibliographic level
- Статьи из сборников (6)
- Статьи из сериальных изданий (4)
- Книги (1)
-
Authors
- Останин, Сергей Александрович [x]
- Матросова, Анжела Юрьевна (6)
- Кириенко, Ирина Евгеньевна (3)
- Бухаров, Александр Вениаминович (2)
- Николаева, Екатерина Александровна (2)
- Зинчук, А. В. (1)
- Зиятдинова, Эльвира Руслановна (1)
- Сингх, В. (1)
- Третьяков, Дмитрий Александрович (1)
- Чернышов, Семен Владимирович (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (1)
- 1 месяц (1)
- 6 месяцев (1)
-
Topics
- ROBDD-графы (6)
- константные неисправности (3)
- логические схемы (3)
- проверяющие тесты (3)
- BDD-графы (2)
- булевы функции (2)
- частично программируемые схемы (2)
- CUDD, пакет решающих диаграмм (1)
- LUTs, программируемые блоки памяти (1)
- MTBDD-графы (1)
- SBDD-графы (1)
- SSBDD-графы (1)
- аппаратные средства (1)
- вредоносные подсхемы (1)
- гамильтоновы графы (1)
- графов теория (1)
- графы ориентированные (1)
- графы планарные (1)
- графы, раскрашивание (1)
- двухвходовые вентили (1)
- деревья (графов теория) (1)
- деревья И/ИЛИ (графов теория) (1)
- кодирование (1)
- комбинационные схемы (1)
- коррекции схем (1)
- ложные пути в логических схемах (1)
- маскирование (1)
- минимизация булевых функций (1)
- неисправности задержек путей (1)
- практическое использование (1)
- программная реализация (1)
- программные средства (1)
- сетевые потоки максимальные (графов теория) (1)
- синтез схем (1)
- системы булевых функций (1)
- труды ученых ТГУ (1)
- учебные пособия для вузов (1)
- частичные функции (1)
- эйлеровы графы (1)
- эквивалентная нормальная форма (1)
- экспериментальные исследования (1)
- Show more
- Show less