Category Theory for Computing Science / Michael Barr

Public ISBD Titre : Category Theory for Computing Science Type de document : texte imprimé Auteurs : Michael Barr ; Charles Wells Editeur : Montreal : CRM Montreal Année de publication : 1999 Importance : xvii - 526 p. ISBN/ISSN/EAN : 978-2-921120-31-9 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing Mots-clés : examples from and applications to computing science  toposes  functors  categories Index. décimale : 18C Monographie Category Theory for Computing Science [texte imprimé] / Michael Barr ; Charles Wells . - Montreal : CRM Montreal, 1999 . - xvii - 526 p. ISBN : 978-2-921120-31-9 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing Mots-clés : examples from and applications to computing science  toposes  functors  categories Index. décimale : 18C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13798	18C15	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible

Classical and quantum computation / Kitaev, A.Yu.

Public ISBD Titre : Classical and quantum computation Type de document : texte imprimé Auteurs : Kitaev, A.Yu. ; Vyalyi, M.N. ; Shen, A.H. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2002 Collection : Graduate Studies in Mathematics, ISSN 1065-7339 num. 47 Importance : xiii - 257 p. Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing 81-XX Quantum theory:81-02 Research exposition (monographs, survey articles) 81-XX Quantum theory:81PXX Axiomatics, foundations, philosophy:81P68 Quantum computation and quantum cryptography Mots-clés : quantum cryptography  quantum computation  quantum theory Index. décimale : 81C Monographie Classical and quantum computation [texte imprimé] / Kitaev, A.Yu. ; Vyalyi, M.N. ; Shen, A.H. . - Providence, R.I. : American Mathematical Society, 2002 . - xiii - 257 p.. - (Graduate Studies in Mathematics, ISSN 1065-7339; 47) . Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing 81-XX Quantum theory:81-02 Research exposition (monographs, survey articles) 81-XX Quantum theory:81PXX Axiomatics, foundations, philosophy:81P68 Quantum computation and quantum cryptography Mots-clés : quantum cryptography  quantum computation  quantum theory Index. décimale : 81C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14088	81C119	imprimé / autre	CRDM	81/MECANIQUE QUANTIQUE	Disponible

Model-driven testing / Paul Baker

Public ISBD Titre : Model-driven testing : using the UML testing profile Type de document : texte imprimé Auteurs : Paul Baker Editeur : Springer Année de publication : 2008 Importance : xiv - 183 p. Format : 24 cm ISBN/ISSN/EAN : 978-3-540-72562-6 Langues : Anglais Catégories : 68-XX Computer science :68QXX Theory of computing Mots-clés : Computer science Index. décimale : 68C Monographie Résumé : Model-driven testing : using the UML testing profile [texte imprimé] / Paul Baker . - [S.l.] : Springer, 2008 . - xiv - 183 p. ; 24 cm. ISBN : 978-3-540-72562-6 Langues : Anglais Catégories : 68-XX Computer science :68QXX Theory of computing Mots-clés : Computer science Index. décimale : 68C Monographie Résumé :

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21233	LINA/68C409	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Types and Programming Languages / Pierce, Benjamin C.

Public ISBD Titre : Types and Programming Languages : a comprehensive introduction to type systems and programming languages Type de document : texte imprimé Auteurs : Pierce, Benjamin C. ; Kenneth E. Kinnear ; Peter J. Angeline, Editeur scientifique Editeur : Cambridge, MA : MIT Press Année de publication : 2002 Collection : Advances in Genetic Programming num. 02 Importance : 645 p. ISBN/ISSN/EAN : 978-0-262-16209-8 Langues : Anglais Catégories : 68-XX Computer science :68QXX Theory of computing Mots-clés : programming  intelligent systems  computer science Index. décimale : 68C Monographie Types and Programming Languages : a comprehensive introduction to type systems and programming languages [texte imprimé] / Pierce, Benjamin C. ; Kenneth E. Kinnear ; Peter J. Angeline, Editeur scientifique . - Cambridge, MA : MIT Press, 2002 . - 645 p.. - (Advances in Genetic Programming; 02) . ISBN : 978-0-262-16209-8 Langues : Anglais Catégories : 68-XX Computer science :68QXX Theory of computing Mots-clés : programming  intelligent systems  computer science Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13800	68C73	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1