Refine your search
Availability
-
bib-level
-
Authors
- Авдеев, Николай Александрович (1)
- Бибило, Петр Николаевич (1)
- Бияшев, Рустем Гакашевич (1)
- Бодин, Евгений Викторович (1)
- Веретнов, Сергей Олегович (1)
- Калимолдаев, Максат Нурадилович (1)
- Непомнящий, Валерий Александрович (1)
- Поттосин, Игорь Васильевич (1)
- Привезенцев, Алексей Иванович (1)
- Рог, Ольга Алексеевна (1)
- Сухомлин, Владимир Александрович (1)
- Фазлиев, Александр Зарипович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (4)
- Читальный зал 5 (1)
- Читальный зал. Депозитарий (1)
-
Item types
-
Topics
- Basic-REAL. (1)
- GII стандартизация (1)
- GII язык спецификации сценариев (1)
- GII-интерфейсы (1)
- GII-модели (1)
- ODP эталонная модель (1)
- OSE-профили (1)
- OSI, модель стандарта взаимодействия открытых систем семиуровневая (1)
- OSI, модель стандарта взаимодействия открытых систем эталонная (1)
- OSI-конформность (1)
- OSI-профили взаимосвязи открытых систем (1)
- OWL DL, язык спецификаций (1)
- POSIX OSE RM эталонная модель (1)
- POSIX OSE, стандарты (1)
- POSIX тестирование (1)
- POSIX-профили (1)
- PSL, язык спецификаций процесса (1)
- PSL-функции (1)
- Questa Sim, система моделирования и верификации проектов цифровых устройств (1)
- REAL-программы (1)
- Show more
- Show less