Refine your search
Availability
-
Bibliographic level
- Книги (5)
-
Authors
-
Locations
- Книгохранилище (2)
- Читальный зал 5 (1)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Факультетская библиотека (1)
-
Item types
-
Topics
- Мили автомат (3)
- Мура автомат (2)
- автоматы конечные (2)
- автоматы, классификация (2)
- булевы функции (2)
- учебные пособия для вузов (2)
- CTL-верификация (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)
- грамматики порождающие (1)
- грамматики формальные (1)
- детекторы самопроверяемые (1)
- дизъюнктивные нормальные формы (1)
- динамическое программирование (1)
- дискретные логические устройства (1)
- дискретные устройства без памяти (1)
- дискретные устройства с конечной памятью (1)
- дискретные устройства управляющие (1)
- допущено умо (1)
- жегалкина полином (1)
- информация сжатие (1)
- история робототехники (1)
- кодирование автоматных состояний (1)
- Show more
- Show less
-
Places
- ЭБС Лань (1)