skip to main content
Langue :
COVID-19 : bibliothèque fermée. En savoir plus COVID-19 : bibliothèque fermée. En savoir plus 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
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

Disponible(->>)

2
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

Disponible(->>)

3
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
Material Type:
Livre
Ajouter au Panier

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Richter, Michael M (1938-...) (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Oberschelp, Walter (1933-...) (Ed.)

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

Berlin. Heidelberg. New York [etc.]. Springer-Verlag, 1984, cop. 1984

Disponible(->>)

4
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(->>)

5
Material Type:
Livre
Ajouter au Panier

Leçons sur les fonctions calculables

Uspenskij, Vladimir Andreevič (1930-...) ; Chauvin, André (1914-...) (Trad.)

Appartient à la collection : Actualités scientifiques et industrielles, 1317, ISSN 0365-6861

Paris. Hermann, DL 1966, cop. 1966

Disponible(->>)

6
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

Disponible(->>)

7
Material Type:
Livre
Ajouter au Panier

Theory of recursive functions and effective computability

Rogers, Hartley (1926-2015)

Appartient à la collection : McGraw-Hill series in higher mathematics

New York. McGraw-Hill, cop. 1967

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

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

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

Wolper, Pierre

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

Paris. Dunod, DL 2006, cop. 2006

Disponible(->>)

9
Langages formels, calculabilité et complexité
Material Type:
Livre
Ajouter au Panier

Langages formels, calculabilité et complexité

Carton, Olivier ; Perrin, Dominique (1946-...) (Préf.)

Paris. Vuibert, DL 2008

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

10
Langages formels : calculabilité et complexité cours et exercices corrigés
Material Type:
Livre
Ajouter au Panier

Langages formels : calculabilité et complexité cours et exercices corrigés

Carton, Olivier ; Perrin, Dominique (1946-...) (Préf.)

Paris. Vuibert, DL 2014

Disponible(->>)

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 (4)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1977  (4)
  2. 1977 à 1986  (5)
  3. 1987 à 1992  (8)
  4. 1993 à 2001  (9)
  5. Après 2001  (10)
  6. Autres open sub menu

Langue 

  1. Anglais  (25)
  2. Français  (11)
  3. 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.