Bibliothèque de Faculté des mathématiques et de l'informatique
Détail d'une collection
|
|
Documents disponibles dans la collection (2)
Affiner la recherche Interroger des sources externesAlgebraic methods / Workshop on algebraic methods, theory, tools and applications (1987; Passau, Allemagne)
Titre : Algebraic methods : theory, tools and applications Type de document : texte imprimé Auteurs : Martin Wirsing (1948-....), Directeur de publication ; Johannes (Jan) Aldert Bergstra, Directeur de publication Congrès : Workshop on algebraic methods, theory, tools and applications (1987; Passau, Allemagne), Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1989 Collection : Lecture notes in computer science, ISSN 0302-9743 num. 394 Importance : 558 p. Présentation : couv. en coul. ill. Format : 25 cm. ISBN/ISSN/EAN : 978-3-540-51698-9 Note générale : Bibliogr. p.554. Index. Langues : Anglais (eng) Index. décimale : 08-02 Logiciels et programmation Algebraic methods : theory, tools and applications [texte imprimé] / Martin Wirsing (1948-....), Directeur de publication ; Johannes (Jan) Aldert Bergstra, Directeur de publication / Workshop on algebraic methods, theory, tools and applications (1987; Passau, Allemagne), Auteur . - Berlin : Springer-Verlag, 1989 . - 558 p. : couv. en coul. ill. ; 25 cm.. - (Lecture notes in computer science, ISSN 0302-9743; 394) .
ISBN : 978-3-540-51698-9
Bibliogr. p.554. Index.
Langues : Anglais (eng)
Index. décimale : 08-02 Logiciels et programmation Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 42447 08-02-459 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible 186* J.I.C.A A-08-93 Livre Bibliothèque de faculté d'informatique et mathématique Informatique Disponible
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
