Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
-
Locations
- Книгохранилище (3)
-
Item types
- Выдается в читальный зал (3)
- 1 месяц (1)
-
Topics
- диссертации (2)
- управляющие системы дискретные (2)
- TFTP, телекоммуникационный протокол (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)
- тестирование POP3-сервера (1)
- тестирование безусловное (1)
- тестирование с гарантированной полнотой (1)
- тестирование условное (1)
- тесты полные (кибернетика математическая) (1)
- тесты проверяющие (1)
- управляющие системы дискретные (кибернетика математическая) (1)
- уравнения формальных языков (1)
- формальных языков композиции (1)
- Show more
- Show less