Bibliothèque de Faculté des mathématiques et de l'informatique
Détail du congrès:
Congrès: International workshop on categorical methods in computer science with aspects from topology (1988; Berlin) (1988) |
Documents disponibles provenant de ce congrès (1)



Categorical methods in computer science / International workshop on categorical methods in computer science with aspects from topology (1988; Berlin)
Titre : Categorical methods in computer science : with aspects from topology Type de document : texte imprimé Auteurs : Hartmut Ehrig (1944-....), Directeur de publication ; Horst Herrlich (1937-2015), Directeur de publication ; Kreowski, Directeur de publication Congrès : International workshop on categorical methods in computer science with aspects from topology (1988; Berlin), Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1989 Collection : Lecture notes in computer science, ISSN 0302-9743 num. 393 Importance : 350 p. Présentation : couv. en coul. ill. Format : 24 cm. ISBN/ISSN/EAN : 978-3-540-51722-1 Note générale : Bibliogr. p.350. Index. Langues : Anglais (eng) Index. décimale : 08-02 Logiciels et programmation Categorical methods in computer science : with aspects from topology [texte imprimé] / Hartmut Ehrig (1944-....), Directeur de publication ; Horst Herrlich (1937-2015), Directeur de publication ; Kreowski, Directeur de publication / International workshop on categorical methods in computer science with aspects from topology (1988; Berlin), Auteur . - Berlin : Springer-Verlag, 1989 . - 350 p. : couv. en coul. ill. ; 24 cm.. - (Lecture notes in computer science, ISSN 0302-9743; 393) .
ISBN : 978-3-540-51722-1
Bibliogr. p.350. Index.
Langues : Anglais (eng)
Index. décimale : 08-02 Logiciels et programmation Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 185 08-02-460 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible