Refine your search
Availability
-
Bibliographic level
- Статьи из сборников (3)
- Статьи из сериальных изданий (2)
- Книги (1)
-
Authors
- Матросова, Анжела Юрьевна (4)
- Провкин, Виктор Алексеевич (3)
- Matrosova, Anzhela Yu (1)
- Provkin, V. А. (1)
- Алемасов, Сергей Александрович (1)
- Андреева, Валентина Валерьевна (1)
- Быкова, Светлана Васильевна (1)
- Гошин, Геннадий Георгиевич (1)
- Николаева, Екатерина Александровна (1)
- Плешков, Алексей Геннадьевич (1)
- Тычинский, Вячеслав Зиновьевич (1)
- Show more
- Show less
-
Locations
- Книгохранилище (1)
-
Item types
- Выдается в читальный зал (1)
- 1 месяц (1)
-
Topics
- логические неисправности (6)
- SAT-решатели (2)
- булевы уравнения (2)
- дискретные устройства (2)
- комбинационные схемы (2)
- SAT решатели (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