skip to main content
Langue :
Afficher les résultats avec :
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The universal computer : the road from Leibniz to Turing
Material Type:
Livre
Ajouter au Panier

The universal computer : the road from Leibniz to Turing

Davis, Martin (1928-...)

New York. London. Norton, cop. 2000

Disponible(->>)

2
Material Type:
Livre
Ajouter au Panier

Computability and unsolvability

Davis, Martin (1928-...)

Appartient à la collection : McGraw-Hill series in information processing and computers

New York. Toronto. London. McGraw-Hill, 1958

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

3
Computability and unsolvability
Material Type:
Livre
Ajouter au Panier

Computability and unsolvability

Davis, Martin (1928-...)

Appartient à la collection : McGraw-Hill series in information processing and computers

New York. Dover, cop. 1982

Disponible(->>)

4
The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
Material Type:
Livre
Ajouter au Panier

The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions

Davis, Martin (1928-...) (Ed.)

Mineola, NY. Dover Publications, 2004

Disponible(->>)

5
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Material Type:
Livre
Ajouter au Panier

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Davis, Martin (1928-...) (Ed.)

Hewlett, N.Y.. Raven Press, 1965

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

6
Hilbert's tenth problem
Material Type:
Livre
Ajouter au Panier

Hilbert's tenth problem

Matiyasevich, Yuri Vladimirovich (1947-) ; Davis, Martin (1928-...)

Appartient à la collection : Foundations of computing

Cambridge (Mass.). London. MIT Press, cop. 1993

Disponible(->>)

7
Computability, complexity, and languages : fundamentals of theoretical computer science
Material Type:
Livre
Ajouter au Panier

Computability, complexity, and languages : fundamentals of theoretical computer science

Davis, Martin (1928-...) ; Sigal, Ron ; Weyuker, Elaine J

Appartient à la collection : Computer science and scientific computing

Boston. Academic Press, Harcourt, Brace, 1994

Disponible(->>)

8
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Material Type:
ebook
Ajouter au Panier

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Davis, Martin (Ed.) ; Fehnker, Ansgar (Ed.) ; McIver, Annabelle (Ed.) ; Voronkov, Andrei (Ed.)

Appartient à la collection : Lecture notes in computer science, 9450, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Imprint: Springer, 2015

9
Material Type:
Livre
Ajouter au Panier

Differential and integral calculus

Landau, Edmund (1877-1938) ; Hausner, Melvin (1928-...) (Trad.) ; Davis, Martin (1928-...) (Trad.)

New York. Chelsea, cop. 1960

Disponible(->>)

10
Mass spectrometry
Material Type:
Livre
Ajouter au Panier

Mass spectrometry

Barker, James ; Ando, D. J ; Davis, Reg () ; Frearson, Martin ()

Appartient à la collection : Analytical chemistry by open learning (Acol)

Chichester. New York. John Wiley & sons, cop. 1999

Disponible(->>)

Refine Search Results

N'afficher que

  1. Ressources en ligne (1)

Affiner vos résultats

Type de ressource 

  1. Livres  (9)
  2. ebooks  (1)
  3. Autres open sub menu

Localisation 

  1. Descartes  (2)
  2. Descartes - CDR  (2)
  3. Descartes - LARHRA  (2)
  4. Monod  (6)
  5. Autres open sub menu

Sujet 

  1. Computable functions  (4)
  2. Fonctions calculables  (4)
  3. Fonctions récursives  (3)
  4. Non-résolubilité (logique mathématique)  (3)
  5. Unsolvability (Mathematical logic)  (3)
  6. Recursive functions  (3)
  7. Gödel's theorem  (2)
  8. Gödel, Théorème de  (2)
  9. Computer logic  (1)
  10. Machine theory  (1)
  11. Electronic digital computers. History  (1)
  12. Turing, Machines de  (1)
  13. Logique mathématique  (1)
  14. Turing machines  (1)
  15. Programming Languages, Compilers, Interpreters  (1)
  16. Analyse diophantienne  (1)
  17. Artificial Intelligence (incl. Robotics)  (1)
  18. Logics and Meanings of Programs  (1)
  19. Mathematical Logic and Formal Languages  (1)
  20. Programming languages (Electronic computers)  (1)
  21. Ordinateurs. Histoire  (1)
  22. Mass spectrometry. Programmed instruction  (1)
  23. Spectrométrie de masse  (1)
  24. Hilbert, Problèmes de  (1)
  25. Logic design  (1)
  26. Enseignement programmé  (1)
  27. Computational complexity  (1)
  28. Décidabilité (logique mathématique)  (1)
  29. Récursivité, Théorie de la  (1)
  30. Computer science  (1)
  31. Programming Techniques  (1)
  32. Mathématiques constructives  (1)
  33. Calcul intégral  (1)
  34. Calcul différentiel  (1)
  35. Formal languages  (1)
  36. Spectroscopie de masse  (1)
  37. Calculus  (1)
  38. Complexité de calcul (informatique)  (1)
  39. Automates mathématiques, Théorie des  (1)
  40. Computer programming  (1)
  41. Métamathématique  (1)
  42. Chimie analytique  (1)
  43. Langages formels  (1)
  44. Informatique. Histoire  (1)
  45. Mathematical logic  (1)
  46. Chemistry, Analytic. Programmed instruction  (1)
  47. Artificial intelligence  (1)
  48. Software engineering  (1)
  49. Hilbert's tenth problem  (1)
  50. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1965  (2)
  2. 1965 à 1992  (2)
  3. 1993 à 1998  (2)
  4. 1999 à 2004  (3)
  5. Après 2004  (1)
  6. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.