Algebra of programming / Bird, Richard

Public ISBD Titre : Algebra of programming Type de document : texte imprimé Auteurs : Bird, Richard ; de Moor, Oege Editeur : London : Prentice Hall Année de publication : 1997 Importance : xiv - 295 p. ISBN/ISSN/EAN : 978-0-13-507245-5 Langues : Anglais 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.) 68-XX Computer science :68RXX Discrete mathematics in relation to computer science:68R99 None of the above, but in this section Mots-clés : greedy algorithm  dynamic programming  thinning algorithms  optimisation problems Index. décimale : 68C Monographie Algebra of programming [texte imprimé] / Bird, Richard ; de Moor, Oege . - London : Prentice Hall, 1997 . - xiv - 295 p. ISBN : 978-0-13-507245-5 Langues : Anglais 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.) 68-XX Computer science :68RXX Discrete mathematics in relation to computer science:68R99 None of the above, but in this section Mots-clés : greedy algorithm  dynamic programming  thinning algorithms  optimisation problems Index. décimale : 68C Monographie

Exemplaires

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

Complexity and real computation / Blum, Leonore

Public ISBD 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 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 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

Exemplaires

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

Computation and automata / Arto Salomaa

Public ISBD 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 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 : Cambridge University Press, 1985 . - xiii, 284 p. ; 24 cm.. - (Encyclopedia of Mathematics and Its Applications; 25) . ISBN : 978-0-521-30245-6 Langues : Anglais 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

Exemplaires

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

Formal aspects of cognitive processes / Goos, G. Ed.

Public ISBD 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 ; T. Storer ; 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 ; T. Storer ; Hartmanis, J. Ed. . - [S.l.] : 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

Exemplaires

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

a New kind of science / Wolfram, S.

Public ISBD 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-57955-008-0 Langues : Anglais 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 games Mots-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-57955-008-0 Langues : Anglais 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 games Mots-clés : intractability  undecidability  computational irreducibility  complexity  axiomatic mathematical systems  avatars  cellular automata Index. décimale : 68C Monographie

Exemplaires

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

Procédures ALGOL en analyse numérique / Kuntzmann, J. Préf.

Permalink

Proofs and algorithms / Gilles Dowek

Permalink

Quantum computation / Lomonaco, Samuel J.

Permalink

Quantum computer science / N. David Mermin

Permalink

Stable networks and product graphs / Feder,Tomás

Permalink

---

page 1/1