Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=протоколы обмена<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   Pr869
   Pr869/575
Pr869/575 / Pr869/575-02

   
    Computer aided verification : 3rd Intern. workshop, CAV'91 Aalborg, Denmark, July 1-4, 1991. Proceedings / K. G. Larsen, A. Skou (Eds.). - Berlin [et al.] : Springer, 1992. - X, 487 p. : Ill. - (Lecture notes in computer science ; 575). - Bibliogr. at the end of the art
Перевод заглавия: Автоматизированная верификация
50.05.17
ББК З 973.2-018.14я431
Рубрики: Верификация--Программ ЭВМ
Кл.слова (ненормированные):
протоколы обмена -- системы реального времени
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 68-7-94+02
Найти похожие
2.
   И-З 97
   C74
И-З 97 / C74-02

    Conference on local computer networks (17 ; 1992 ; Minneapolis, Minn.).
    17th conference on local computer networks: Proceedings : Sept. 13-16, 1992, Minneapolis, Minnesota. - Los Alamitos [et al.] : IEEE Computer society press, 1992. - XVI,710 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 709-710
Перевод заглавия: Труды 17ой конференции по локальным вычислительным сетям
50.39.29
ББК З 973.22я431
Рубрики: Локальные вычислительные сети
Кл.слова (ненормированные):
мультимедиа -- протоколы обмена
Дескрипторы: конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 81-7-94+02
Найти похожие
3.
   И-З 97
   C74
И-З 97 / C74-02

    Conference on local computer networks (15 ; 1990 ; Minneapolis).
    15th conference on local computer networks: Proceedings : The Radisson Plaza Hotel Minneapolis, Minnesota, Sept. 30 - Oct. 3, 1990. - Washington [et al.] : IEEE Computer society press, 1992. - XIII,450 p. : Ill. - Bibliogr. at the end of the art.
Перевод заглавия: Труды 15ой конференции по локальным вычислительным сетям
50.39.29
ББК З 973.22я431
Рубрики: Локальные вычислительные сети
Кл.слова (ненормированные):
мультимедиа -- протоколы обмена
Дескрипторы: конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 72-4-94+02
Найти похожие
4.
   И-З 97
   I.69
И-З 97 / I.69-02

    International conference on distributed computing systems (12; 1992; Yokohama, Japan).
    Proceedings of the 12th International conference on distributed computing systems : June 9-12, 1992, Yokohama, Jap. - Los Alamitos [et al.] : IEEE Computer society press, 1992. - XXII,725 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 724-725
Перевод заглавия: Труды 12ой международной конференции по системам распределенной обработки данных
50.33.01
ББК З 973.22я431
Рубрики: Распределенные системы вычислительные
Кл.слова (ненормированные):
протоколы обмена -- отказоустойчивые алгоритмы -- базы данных
Дескрипторы: конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 81-8-94+02
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН