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 > 68Q05 Models of computation (Turing machines, etc.) Voir aussi :
03D10 Turing machines and related notions / 81P68 Quantum computation and quantum cryptography 
Affiner la rechercheAlgebra of programming / Bird, Richard
Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13853 68C78 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Complexity and real computation Type de document : texte imprimé Auteurs : Blum, Leonore ; Smale, Steve ; Shub, Michael ; Cucker, Felipe Editeur : New York, NY : Springer Année de publication : 1997 Importance : xvi - 453 p. ISBN/ISSN/EAN : 978-0-387-98281-6 Langues : Anglais (eng) Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)Mots-clés : computer science models of computation Index. décimale : 68C Monographie Complexity and real computation [texte imprimé] / Blum, Leonore ; Smale, Steve ; Shub, Michael ; Cucker, Felipe . - New York, NY : Springer, 1997 . - xvi - 453 p.
ISBN : 978-0-387-98281-6
Langues : Anglais (eng)
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)Mots-clés : computer science models of computation Index. décimale : 68C Monographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17293 68C325 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Computation and automata Type de document : texte imprimé Auteurs : Arto Salomaa (1934-....) Editeur : Cambridge : Cambridge University Press Année de publication : 1985 Collection : Encyclopedia of Mathematics and Its Applications num. 25 Importance : xiii, 284 p. Format : 24 cm. ISBN/ISSN/EAN : 978-0-521-30245-6 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions
68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)Mots-clés : semi-Thue systems computability theory recursively enumerable sets phrase structure grammars rewriting systems Post canonical systems Markov algorithms Turing machines recursive function theory degrees of undecidability computational complexity halting problem Hilbert's tenth problem cryptography Index. décimale : 68C Monographie Computation and automata [texte imprimé] / Arto Salomaa (1934-....) . - Cambridge University Press, 1985 . - xiii, 284 p. ; 24 cm.. - (Encyclopedia of Mathematics and Its Applications; 25) .
ISBN : 978-0-521-30245-6
Langues : Anglais (eng)
Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions
68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)Mots-clés : semi-Thue systems computability theory recursively enumerable sets phrase structure grammars rewriting systems Post canonical systems Markov algorithms Turing machines recursive function theory degrees of undecidability computational complexity halting problem Hilbert's tenth problem cryptography Index. décimale : 68C Monographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18556 68C358 imprimé / autre CRDM 68/INFORMATIQUE Sorti jusqu'au 30/09/2013
Titre : Formal aspects of cognitive processes : interdisciplinary conference Ann Arbor, MI, march 1972 Type de document : texte imprimé Auteurs : Goos, G. Ed. ; Winter, D. Eds ; Storer, T. ; Hartmanis, J. Ed. Editeur : Springer-Verlag Année de publication : 1975 Collection : Lecture Notes in Computer Science num. 22 Importance : 214 p. ISBN/ISSN/EAN : 978-3-540-07016-0 Catégories : 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)
68-XX Computer science :68QXX Theory of computing:68Q42 Grammars and rewriting systems
68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.)Mots-clés : ann arbor, mi (usa) proceedings conference computer science Index. décimale : 68B Publication collective Formal aspects of cognitive processes : interdisciplinary conference Ann Arbor, MI, march 1972 [texte imprimé] / Goos, G. Ed. ; Winter, D. Eds ; Storer, T. ; Hartmanis, J. Ed. . - Springer-Verlag, 1975 . - 214 p.. - (Lecture Notes in Computer Science; 22) .
ISBN : 978-3-540-07016-0
Catégories : 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)
68-XX Computer science :68QXX Theory of computing:68Q42 Grammars and rewriting systems
68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.)Mots-clés : ann arbor, mi (usa) proceedings conference computer science Index. décimale : 68B Publication collective Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15816 68B26 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : a New kind of science Type de document : texte imprimé Auteurs : Wolfram, S. Editeur : Champaign : Wolfram Media Année de publication : 2002 Importance : xiv - 1197 p. ISBN/ISSN/EAN : 978-1-579-55008-0 Langues : Anglais (eng) Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)
68-XX Computer science :68QXX Theory of computing:68Q80 Cellular automata
91-XX Game theory, economics, social and behavioral sciences:91AXX Game theory:91A20 Multistage and repeated gamesMots-clés : intractability undecidability computational irreducibility complexity axiomatic mathematical systems avatars cellular automata Index. décimale : 68C Monographie a New kind of science [texte imprimé] / Wolfram, S. . - Champaign : Wolfram Media, 2002 . - xiv - 1197 p.
ISBN : 978-1-579-55008-0
Langues : Anglais (eng)
Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)
68-XX Computer science :68QXX Theory of computing:68Q80 Cellular automata
91-XX Game theory, economics, social and behavioral sciences:91AXX Game theory:91A20 Multistage and repeated gamesMots-clés : intractability undecidability computational irreducibility complexity axiomatic mathematical systems avatars cellular automata Index. décimale : 68C Monographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16281 68C281 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Permalink
Permalink
Permalink
Permalink
