Refine your search
Availability
-
bib-level
-
Authors
- Винарский, Евгений Максимович (2)
- Громов, Максим Леонидович (4)
- Евтушенко, Лариса Геннадьевна (1)
- Евтушенко, Нина Владимировна (3)
- Лапутенко, Андрей Владимирович (12)
- Лопез Коронадо, Хорхе Елеазар (1)
- Твардовский, Александр Сергеевич (2)
- Торгаев, Станислав Николаевич (2)
- Широкова, Екатерина Владимировна (1)
- Show more
- Show less
-
Locations
- Абонемент (1)
- Абонемент. Депозитарий (2)
- Книгохранилище (2)
- Читальный зал 5 (1)
-
Item types
- 1 неделя (1)
- 6 месяцев (2)
- Выдается в читальный зал (2)
- Выдается по месту хранения (1)
-
Topics
- "интернет вещей", компоненты (1)
- ABC, система синтеза и верификации цифровых схем (1)
- mCRL2, набор инструментов (1)
- ПЛИС (1)
- ПЛИС Altera (1)
- Системный анализ, управление и обработка информации ( в отраслях информатики, вычислительной техники и автоматизации) (1)
- Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) (1)
- автоматные уравнения (1)
- автоматов теория, методы (1)
- автоматы временные (1)
- автоматы конечные временные (1)
- автоматы конечные, модели неисправности (1)
- автоматы с таймаутами (1)
- алгоритмы поиска оптимального пути в графе (1)
- алгоритмы решения (1)
- бинарные автоматные композиции (1)
- верификация (2)
- диссертации (1)
- конечные автоматы (3)
- тестовые последовательности (2)
- Show more
- Show less