1
|
Material Type: Thèse ou mémoire
|
|
Alan Turing : la "pensée" de la machine et l'idée de pratique
Goutefangea, Patrick ; Vienne, Jean-Michel (Dir. thèse) ; Université de Nantes (1962-...) (Organisme de soutenance)
Thèse à la carte
Villeneuve d'Ascq. Presses universitaires du Septentrion, DL 2001
Disponible(->>)
|
2
|
Material Type: Livre
|
|
The universal Turing machine : a half-century survey
Herken, Rolf (Ed.)
Wien. New-York. Springer-verl, 1995
Indisponible
(->>)
|
3
|
Material Type: Livre
|
|
Boolean functions and computation models
Clote, Peter G ; Kranakis, Evangelos
Appartient à la collection : Texts in theoretical computer science (Print), ISSN 1862-4499
Berlin. New York. Paris. Springer, cop. 2002
Indisponible
(->>)
|
4
|
Material Type: Livre
|
|
Computational complexity : a conceptual perspective
Goldreich, Oded (1957-...)
Cambridge. New York. Cambridge University Press, cop. 2008
Indisponible
(->>)
|
5
|
Material Type: Livre
|
|
Computability theory
Weber, Rebecca (1977-...)
Appartient à la collection : Student mathematical library, 62, ISSN 1520-9121
Providence (R.I.). American Mathematical Society, cop. 2012
Indisponible
(->>)
|
6
|
Material Type: Livre
|
|
Machines and thought
Millican, Peter J. R (Ed.) ; Clark, Andy (1957-...) (Ed.)
Appartient à la collection : Mind Association occasional series, ISSN 0955-9892 Fait partie de l'ensemble : The legacy of Alan Turing
Oxford. Oxford University Press, 1999
Indisponible
(->>)
|
7
|
Material Type: Livre
|
|
Computation : finite and infinite machines
Minsky, Marvin (1927-2016)
Appartient à la collection : Prentice-Hall series in automatic computation, ISSN 2577-9435
Englewood Cliffs (N.J.). Prentice-Hall, cop. 1967
Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)
|
8
|
Material Type: Livre
|
|
Complexité et décidabilité
Dehornoy, Patrick (1952-...)
Appartient à la collection : Mathématiques et applications (Paris), 12, ISSN 1154-483X
Paris. Berlin. New York [etc.]. Springer-Verlag, copyright 1993
Disponible(->>)
|
9
|
Material Type: Livre
|
|
Introduction to the theory of computation
Sipser, Michael
Boston (Mass.). Thomson course technology, copyright 2006
Disponible(->>)
|
10
|
Material Type: Livre
|
|
Introduction to the theory of computation
Sipser, Michael
Boston (Mass.). Cengage learning, copyright 2013
Disponible(->>)
|