Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
- Книгохранилище (2)
-
Item types
-
Topics
- Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) (2)
- диссертации (2)
- тесты проверяющие, алгоритмы (2)
- BDD-графы (1)
- BDD-системы (1)
- FSM-срез автомата расширенного (1)
- ДНФ-системы (1)
- ОДНФ-системы (1)
- автоматы конечные (1)
- автоматы различающие (1)
- автоматы расширенные мутационные (1)
- автоматы расширенные, ошибки (1)
- дискретные управляющие системы (1)
- логические схемы программируемые (1)
- логические схемы, алгоритмы синтеза (1)
- логические схемы, надежность (1)
- логические схемы, неисправности (1)
- логические схемы, тестирование (1)
- модели неисправности (теория автоматов) (1)
- программная реализация алгоритмов, генерация (1)
- программная реализация алгоритмов, ошибки (1)
- синтез тестов проверяющих (кибернетика математическая) (1)
- тесты проверяющие, синтез (1)
- Show more
- Show less