Refine your search
Availability
-
bib-level
-
Authors
- Андреева, Валентина Валерьевна (1)
- Вие, Томас (1)
- Громов, Максим Леонидович (1)
- Дорофеева, Маргарита Юрьевна (1)
- Евтушенко, Нина Владимировна (6)
- Карпова, Н. А. (1)
- Каширова, Лилия Федоровна (1)
- Кеэваллик, А. Э. (1)
- Кислицкая, Марина Викторовна (1)
- Коломеец, Антон Владимирович (1)
- Кривошеева, Мария Акимовна (1)
- Лапутенко, Андрей Владимирович (1)
- Лупанов, Олег Борисович (1)
- Матросова, Анжела Юрьевна (1)
- Николаева, Екатерина Александровна (1)
- Прокопенко, Светлана Анатольевна (1)
- Скобцов, Вадим Ю. (1)
- Скобцов, Юрий Александрович (1)
- Сорудейкин, Кирилл Александрович (1)
- Сперанский, Дмитрий Васильевич (1)
- Show more
- Show less
-
Locations
-
Item types
- 1 месяц (1)
- 6 месяцев (2)
- Выдается в читальный зал (10)
- Выдается по месту хранения (1)
-
Topics
- "интернет вещей", компоненты (1)
- "черный ящик", модель (1)
- BDD-графы (1)
- BDD-системы (1)
- Bioinformer, интегрированный пакет демонстрационных программ (1)
- FSM-срез автомата расширенного (1)
- Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) (3)
- автоматные уравнения (2)
- автоматы детерминированные (2)
- автоматы конечные (3)
- автоматы мутационные (2)
- дискретные управляющие системы (2)
- диссертации (7)
- конечные автоматы (4)
- модели неисправности (2)
- синтез тестов (2)
- тесты проверяющие (6)
- тесты проверяющие, алгоритмы (2)
- тесты проверяющие, синтез (3)
- учебные пособия для вузов (2)
- Show more
- Show less