Refine your search
Availability
-
Bibliographic level
- Статьи из сборников (8)
- Статьи из сериальных изданий (7)
- Книги (6)
-
Authors
-
Locations
- Книгохранилище (5)
- Абонемент (3)
- Абонемент. Депозитарий (3)
- Факультетская библиотека (3)
- Читальный зал 5 (2)
-
Item types
- Выдается в читальный зал (5)
- 6 месяцев (3)
- 1 неделя (2)
- 1 месяц (1)
-
Topics
- троичное моделирование (7)
- комбинационные схемы (6)
- ROBDD-графы (5)
- наблюдаемость (4)
- синхронные схемы (4)
- булевы функции (3)
- константные неисправности (3)
- последовательностные схемы (3)
- управляемость (3)
- C (2)
- вероятность обнаружения неисправности (2)
- множества (2)
- моделирование (2)
- моделирование троичное (2)
- учебные пособия для вузов (2)
- языки программирования (2)
- C++ (1)
- SAT-решатели (1)
- Управление в технических системах (1)
- авторефераты диссертаций (1)
- алгоритмы (1)
- базы данных (1)
- ввод-вывод C (1)
- вероятности (1)
- выражения C (1)
- гамильтоновы графы (1)
- графов теория (1)
- графы двойственные (1)
- графы изоморфные (1)
- графы планарные (1)
- графы плоские (1)
- графы реберные (1)
- графы элементарные (1)
- деревья (графов теория) (1)
- дизъюнктивная нормальная форма (1)
- динамические массивы C (1)
- дискретная математика (1)
- дискретные устройства (1)
- диссертации (1)
- интервальные расширения (1)
- информатика (1)
- информационные системы (1)
- информационные технологии (1)
- кибернетика (1)
- логические автоматы (1)
- логические операции C (1)
- массивы многомерные C (1)
- массивы символьные C (1)
- массивы структур C (1)
- массивы числовые C (1)
- Show more
- Show less