Catalogue en ligne Centre Régional de Documentation Mathématique

A partir de cette page vous pouvez :

Retourner au premier écran avec les étagères virtuelles...

Catégories

> 68-XX Computer science > 68QXX Theory of computing

68Q01 General	68Q05 Models of computation (Turing machines, etc.)	68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)	68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)	68Q19 Descriptive complexity and finite models
68Q25 Analysis of algorithms and problem complexity	68Q30 Algorithmic information theory (Kolmogorov complexity, etc.)	68Q32 Computational learning theory
68Q42 Grammars and rewriting systems	68Q45 Formal languages and automata	68Q55 Semantics
68Q60 Specification and verification (program logics, model checking, etc.)	68Q65 Abstract data types; algebraic specification	68Q70 Algebraic theory of languages and automata
68Q80 Cellular automata	68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)	68Q99 None of the above, but in this section

Affiner la recherche

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 (eng)
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 (eng)
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

Réservation
Réserver ce document

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 (eng)
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. . - American Mathematical Society, 2002 . - xiii - 257 p.. - (Graduate Studies in Mathematics, ISSN 1065-7339; 47) .
Langues : Anglais (eng)
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

Réservation
Réserver ce document

Exemplaires

Code-barres Cote Support Localisation Section Disponibilité
14088 81C119 imprimé / autre CRDM 81/MECANIQUE QUANTIQUE 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. ; Kinnear, Kenneth E. Eds. ; Angeline, Peter J.
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 (eng)
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. ; Kinnear, Kenneth E. Eds. ; Angeline, Peter J. . - MIT Press, 2002 . - 645 p.. - (Advances in Genetic Programming; 02) .
ISBN : 978-0-262-16209-8
Langues : Anglais (eng)
Catégories : 68-XX Computer science :68QXX Theory of computing
Mots-clés : programming intelligent systems computer science
Index. décimale : 68C Monographie

Réservation
Réserver ce document

Exemplaires

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