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 Перевод заглавия: Автоматизированная верификация Рубрики: Верификация--Программ ЭВМ Кл.слова (ненормированные): протоколы обмена -- системы реального времени Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 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ой конференции по локальным вычислительным сетям Рубрики: Локальные вычислительные сети Кл.слова (ненормированные): мультимедиа -- протоколы обмена Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 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ой конференции по локальным вычислительным сетям Рубрики: Локальные вычислительные сети Кл.слова (ненормированные): мультимедиа -- протоколы обмена Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 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ой международной конференции по системам распределенной обработки данных Рубрики: Распределенные системы вычислительные Кл.слова (ненормированные): протоколы обмена -- отказоустойчивые алгоритмы -- базы данных Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |