Refine your search
Availability
-
Bibliographic level
- Книги (2)
- Статьи из сборников (1)
-
Authors
- Громов, Максим Леонидович [x]
- Евтушенко, Нина Владимировна [x]
- Коломеец, Антон Владимирович (1)
- Прокопенко, Светлана Анатольевна (1)
- Шабалдина, Наталия Владимировна (1)
-
Locations
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Книгохранилище (1)
-
Item types
- Выдается в читальный зал (1)
- 6 месяцев (1)
-
Topics
- теория автоматов (2)
- "черный ящик", модель (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