Pr869 Pr869/382 Pr869/382 / Pr869/382-02 Algorithms and data structures : Workshop WADS'89 Ottawa, Canada, Aug. 17-19, 1989. Proc. / Ed. by F. Dehne a. o. - Berlin [et al.] : Springer, 1989. - IX,590 p. : Ill. - (Lecture notes in computer science ; 382). - Bibliogr. at the end of the art. - Auth. ind. at the end of the book Перевод заглавия: Алгоритмы и структуры данных Рубрики: Программное обеспечение--ЭВМ Кл.слова (ненормированные): математическое обеспечение ЭВМ -- структуры данных Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/393 Pr869/393 / Pr869/393-02 Categorical methods in computer science with aspects from topology : сборник / Ed. by H. Ehrig a. o. - Berlin [et al.] : Springer, 1989. - VI,350 p. - (Lecture notes in computer science ; 393) Bibliogr. at the end of th art Перевод заглавия: Категорические методы в вычислительной науке с аспектами топологии Рубрики: Программное обеспечение--ЭВМ Топология Кл.слова (ненормированные): Теория категорий -- математическое обеспечение ЭВМ -- топология Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |