Refine your search
Availability
-
Authors
- Аронсон, М.Г. (1)
- Вуд, Алан (1)
- Грамберг, Орна (1)
- Захаров, В. (1)
- Каплан, Стив (1)
- Кларк, Эдмунд М., мл (1)
- Клейн, М.Л. (1)
- Ларченко, Е.Г. (1)
- Морган, Г.С. (1)
- Мюлляри, Е. (1)
- Пелед, Дорон (1)
- Ризер, Тим (1)
- Савицкий, Николай Иванович (1)
- Ушаков, В.Б. (1)
- Чарихов, Л.А. (1)
- Show more
- Show less
-
Item types
- Գրքեր/Books (5)
-
Topics
- Cерверная среда вычислений предприятия (1)
- LAN (1)
- WAN (1)
- Автоматизация (1)
- Беспроводные сети доступа (1)
- Верификация моделей программ (1)
- Верификация систем программирования (1)
- Вычислительная техника (4)
- Вычислительные машины электронные цифровые (2)
- Доступ предприятия к приложениям и данным (1)
- Интернет (1)
- Корпоративные сети (1)
- Модели в темпоральной логике (1)
- Параллельные системы с конечным числом состояний (1)
- Программирование (1)
- Техника вычислений (1)
- Управляющие, вводные и выводные устройства - Каналы связи - Пособие для специалистов (1)
- Экономика - Информационные технологии - Пособие для специалистов (1)
- Show more
- Show less
-
Collections
-
Languages
- (1)
- Russian (4)