skip to main content
Langue :
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Ouverture adaptée

Tous nos services sont accessibles sur rendez-vous.
Afficher les résultats avec :

Résultats 1 - 10 sur 36  pour Tout le catalogue

résultats 1 2 3 4 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Collected works of A. M. Turing. Pure mathematics
Material Type:
Livre
Ajouter au Panier

Collected works of A. M. Turing. Pure mathematics

Turing, Alan Mathison (1912-1954) ; Britton, J. L (1927-...) (Ed.) ; Good, Irving John (1916-2009) (Comment.)

Amsterdam. london. New York [etc.]. North-Holland, 1992

Indisponible     (->>)

2
Computability : a mathematical sketchbook
Material Type:
Livre
Ajouter au Panier

Computability : a mathematical sketchbook

Bridges, Douglas S (1945-...)

Appartient à la collection : Graduate texts in mathematics, 146, ISSN 0072-5285

New York. Springer-Verlag, cop. 1994

Indisponible     (->>)

3
Computability and logic
Material Type:
Livre
Ajouter au Panier

Computability and logic

Boolos, George (1940-1996) ; Burgess, John P (1948-...) ; Jeffrey, Richard Carl (1926-2002)

Cambridge. New York. Melbourne. Cambridge University Press, cop. 2007

Disponible(->>)

4
Computability in analysis and physics
Material Type:
Livre
Ajouter au Panier

Computability in analysis and physics

Pour-El, Marian Boykan (1928-2009) ; Richards, Ian (1936-...)

Appartient à la collection : Perspectives in mathematical logic, ISSN 0172-6641

Berlin. New York. Springer-Verlag, 1989

Indisponible     (->>)

5
Introduction à la calculabilité : cours et exercices corrigés
Material Type:
Livre
Ajouter au Panier

Introduction à la calculabilité : cours et exercices corrigés

Wolper, Pierre (1955-...)

Appartient à la collection : Sciences sup, ISSN 1636-2217

Paris : Dunod, DL 2006

Disponible(->>)

6
Computability
Material Type:
Livre
Ajouter au Panier

Computability

Weihrauch, Klaus (1943-...)

Appartient à la collection : EATCS monographs on theoretical computer science, 9, ISSN 1431-2646

Berlin. New York. Springer-Verlag, cop. 1987

Indisponible     (->>)

7
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
Material Type:
Livre
Ajouter au Panier

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Soare, Robert Irving (1940-...)

Appartient à la collection : Perspectives in mathematical logic, ISSN 0172-6641

Berlin. Heidelberg. Paris [etc.]. Springer-Verlag, cop. 1987

Disponible(->>)

8
Computable analysis : an introduction with 44 figures
Material Type:
Livre
Ajouter au Panier

Computable analysis : an introduction with 44 figures

Weihrauch, Klaus (1943-...)

Appartient à la collection : Texts in theoretical computer science (Print), ISSN 1862-4499

Berlin. Heidelberg. New-York. Springer, cop. 2000

Indisponible     (->>)

9
Recursion on the countable functionals
Material Type:
Livre
Ajouter au Panier

Recursion on the countable functionals

Normann, Dag (1947-...)

Appartient à la collection : Lecture notes in mathematics, 811, ISSN 0075-8434

Berlin. Heidelberg. New York. Springer-Verlag, 1980, cop. 1980

Indisponible     (->>)

10
Hypercomputation : computing beyond the Church-Turing Barrier
Material Type:
Livre
Ajouter au Panier

Hypercomputation : computing beyond the Church-Turing Barrier

Syropoulos, Apostolos (1965-...)

New York. London. Springer, cop. 2008

Indisponible     (->>)

Résultats 1 - 10 sur 36  pour Tout le catalogue

résultats 1 2 3 4 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (6)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

  1. Fonctions calculables  (28)
  2. Complexité de calcul (informatique)  (15)
  3. Computable functions  (13)
  4. Logique mathématique  (10)
  5. Fonctions récursives  (9)
  6. Logic, Symbolic and mathematical  (6)
  7. Automates mathématiques, Théorie des  (6)
  8. Langages formels  (6)
  9. Computational complexity  (5)
  10. Fonctions calculables. Informatique  (5)
  11. Recursive functions  (5)
  12. Récursivité, Théorie de la  (4)
  13. Algorithmes  (4)
  14. Mathematics  (4)
  15. Mathematical Logic and Foundations  (4)
  16. Machine theory  (3)
  17. Informatique. Mathématiques  (3)
  18. Décidabilité (logique mathématique)  (3)
  19. Computer science  (3)
  20. Fonctions calculables. Manuels d'enseignement supérieur  (3)
  21. Machines séquentielles, Théorie des  (3)
  22. Formal languages  (3)
  23. Analyse mathématique  (3)
  24. Informatique  (3)
  25. Langages formels. Manuels d'enseignement supérieur  (2)
  26. Computation by Abstract Devices  (2)
  27. Turing, Machines de  (2)
  28. Logique informatique  (2)
  29. Computable functions. Congresses  (2)
  30. Algorithm Analysis and Problem Complexity  (2)
  31. Complexité de calcul (informatique). Manuels d'enseignement supérieur  (2)
  32. Automates  (2)
  33. Non-résolubilité (logique mathématique)  (2)
  34. Computer software  (2)
  35. Théorie de la démonstration  (2)
  36. Calcul formel  (2)
  37. Intelligence artificielle  (2)
  38. Unsolvability (Mathematical logic)  (2)
  39. Nonclassical mathematical logic. Congresses  (1)
  40. Physique  (1)
  41. Turing machines  (1)
  42. Mathematical analysis  (1)
  43. Mathématiques  (1)
  44. Computer science-Mathematics  (1)
  45. Math Applications in Computer Science  (1)
  46. Théorie des ensembles  (1)
  47. Logics and Meanings of Programs  (1)
  48. Mathematical Logic and Formal Languages  (1)
  49. Hilbert, Problèmes de  (1)
  50. Cambridge LCF (Computer system)  (1)
  51. Théorie des modèles  (1)
  52. Numerical analysis  (1)
  53. Analysis  (1)
  54. Calculs numériques  (1)
  55. Gödel's theorem  (1)
  56. Computer Science, general  (1)
  57. Approximation numérique  (1)
  58. Computers  (1)
  59. Calcul symbolique  (1)
  60. Turing, Alan Mathison (1912-1954)  (1)
  61. Analyse numérique  (1)
  62. Fonctions calculables. Problèmes et exercices  (1)
  63. Functionals  (1)
  64. Edinburgh LCF (système informatique)  (1)
  65. Logique mathématique non classique  (1)
  66. Lambda-calcul  (1)
  67. Modèles mathématiques  (1)
  68. Gödel, Théorème de  (1)
  69. Computable functions. Data processing  (1)
  70. Physics  (1)
  71. Algorithms  (1)
  72. Programmation déclarative  (1)
  73. Discrete Mathematics in Computer Science  (1)
  74. Équations différentielles  (1)
  75. Set theory  (1)
  76. Global analysis (Mathematics)  (1)
  77. Mathematical logic  (1)
  78. Computer science. Mathematics  (1)
  79. Recursion theory  (1)
  80. Hilbert's tenth problem  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1980  (4)
  2. 1980 à 1988  (6)
  3. 1989 à 1993  (8)
  4. 1994 à 2004  (7)
  5. Après 2004  (11)
  6. Autres open sub menu

Langue 

  1. Anglais  (27)
  2. Français  (9)
  3. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Davis, Martin
  2. Börger, Egon
  3. Normann, Dag
  4. Richter, Michael M
  5. Brattka, Vasco

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.