A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'éditeur
Éditeur MIT Press
localisé à Cambridge (Mass.)
Collections rattachées
Documents disponibles chez cet éditeur
Affiner la rechercheProof, language, and interaction
Titre : Proof, language, and interaction : essays in honour of Robin Milner Type de document : texte imprimé Editeur : Cambridge (Mass.) : MIT Press Année de publication : cop. 2000 Collection : Foundations of computing Importance : 1 vol. (XIV-722 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 0-262-16188-5 Index. décimale : 68B Publication collective Proof, language, and interaction : essays in honour of Robin Milner [texte imprimé] . - Cambridge (Mass.) : MIT Press, cop. 2000 . - 1 vol. (XIV-722 p.) : ill. ; 24 cm. - (Foundations of computing) .
ISBN : 0-262-16188-5
Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17993 LINA/68B50 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Fundamentals of mathematics. Vol. III : Analysis Type de document : texte imprimé Auteurs : Behnke, Heinrich ; Bachmann, F. ; Fladt, K. ; W. Süss, Editeur scientifique Editeur : Cambridge (Mass.) : MIT Press Année de publication : 1974 Collection : Fundamentals of mathematics num. 3 Importance : xiii - 541 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-262-02049-7 Langues : Anglais Langues originales : Allemand Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics Mots-clés : analysis Index. décimale : 00H Fundamentals of mathematics. Vol. III : Analysis [texte imprimé] / Behnke, Heinrich ; Bachmann, F. ; Fladt, K. ; W. Süss, Editeur scientifique . - Cambridge (Mass.) : MIT Press, 1974 . - xiii - 541 p. ; 24 cm. - (Fundamentals of mathematics; 3) .
ISBN : 978-0-262-02049-7
Langues : Anglais Langues originales : Allemand
Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics Mots-clés : analysis Index. décimale : 00H Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20292 00H80 imprimé / autre CRDM 00/GENERALITES Disponible
