skip to main content
Langue :
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

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

résultats 1 2 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Alan Turing : la "pensée" de la machine et l'idée de pratique
Material Type:
Thèse ou mémoire
Ajouter au Panier

Alan Turing : la "pensée" de la machine et l'idée de pratique

Goutefangea, Patrick (19..-...) ; 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
Boolean functions and computation models
Material Type:
Livre
Ajouter au Panier

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

3
The universal Turing machine : a half-century survey
Material Type:
Livre
Ajouter au Panier

The universal Turing machine : a half-century survey

Herken, Rolf (informaticien) (19..-...) (Ed.)

Wien. New-York. Springer-verl, 1995

Indisponible     (->>)

4
Computability theory
Material Type:
Livre
Ajouter au Panier

Computability theory

Weber, Rebecca (1977-...)

Appartient à la collection : Student mathematical library, 62, ISSN 1520-9121

Providence (R.I.). American Mathematical Society, cop. 2012

Indisponible     (->>)

5
Machines and thought
Material Type:
Livre
Ajouter au Panier

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

6
Computational complexity : a conceptual perspective
Material Type:
Livre
Ajouter au Panier

Computational complexity : a conceptual perspective

Goldreich, Oded (1957-...)

Cambridge. New York. Cambridge University Press, cop. 2008

Indisponible     (->>)

7
Material Type:
Livre
Ajouter au Panier

Automata studies

Shannon, Claude Elwood (1916-2001) (Ed.) ; McCarthy, John (1927-2011) (Ed.)

Appartient à la collection : Annals of mathematics studies, 34, ISSN 0066-2313

Princeton (N.J.). Princeton University Press, 1956

Disponible(->>)

8
Introduction to the theory of computation
Material Type:
Livre
Ajouter au Panier

Introduction to the theory of computation

Sipser, Michael

Boston (Mass.) : Thomson course technology, 2006

Disponible(->>)

9
Introduction to the theory of computation
Material Type:
Livre
Ajouter au Panier

Introduction to the theory of computation

Sipser, Michael

Boston (Mass.) : Cengage learning, 2013

Disponible(->>)

10
Komplexität von Entscheidungsproblemen Ein Seminar
Material Type:
ebook
Ajouter au Panier

Komplexität von Entscheidungsproblemen Ein Seminar

Strassen, Volker (mathématicien) (1936-...) (Ed.) ; Specker, Ernst (1920-2011) (Ed.)

Appartient à la collection : Lecture notes in computer science (Internet), ISSN 1611-3349

Berlin [etc.] : Springer, 201. ?

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

résultats 1 2 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (2)

Affiner vos résultats

Type de ressource 

  1. Livres  (16)
  2. ebooks  (2)
  3. Thèses ou mémoires  (1)
  4. Autres open sub menu

Localisation 

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

Sujet 

  1. Complexité de calcul (informatique)  (9)
  2. Automates mathématiques, Théorie des  (8)
  3. Fonctions récursives  (5)
  4. Machine theory  (4)
  5. Décidabilité (logique mathématique)  (4)
  6. Intelligence artificielle  (4)
  7. Computable functions  (3)
  8. Algorithmes  (3)
  9. Informatique. Modèles mathématiques  (3)
  10. Informatique  (3)
  11. Turing machines  (2)
  12. Computational complexity  (2)
  13. Computer science  (2)
  14. Turing, Alan Mathison (1912-1954)  (2)
  15. Machines séquentielles, Théorie des  (2)
  16. Fonctions calculables  (2)
  17. Gödel, Théorème de  (2)
  18. Mathématiciens. Grande-Bretagne. 20e siècle  (1)
  19. Türing, Alan (1912-1954)  (1)
  20. Mathématiciens. Grande-Bretagne  (1)
  21. Logique mathématique  (1)
  22. Algebra  (1)
  23. Mathématiques  (1)
  24. Logics and Meanings of Programs  (1)
  25. Mathematical Logic and Formal Languages  (1)
  26. Inequalities (Mathematics)  (1)
  27. Logic design  (1)
  28. Inégalités (mathématiques)  (1)
  29. Automates  (1)
  30. Récursivité, Théorie de la  (1)
  31. Guerre mondiale (1939-1945). Cryptographie  (1)
  32. Gödel's theorem  (1)
  33. Computer Science, general  (1)
  34. Algebra, Boolean  (1)
  35. Logic, Symbolic and mathematical  (1)
  36. Commande automatique  (1)
  37. Non-résolubilité (logique mathématique)  (1)
  38. Calcul formel  (1)
  39. Conscious automata  (1)
  40. Théorie des jeux  (1)
  41. Modèles mathématiques  (1)
  42. Boole, Algèbre de  (1)
  43. Turing, Alan Mathison (1912-1954). Influence  (1)
  44. Fonctions booléennes  (1)
  45. Game theory  (1)
  46. Unsolvability (Mathematical logic)  (1)
  47. Recursive functions  (1)
  48. Recursion theory  (1)
  49. Mathematical Logic and Foundations  (1)
  50. Algèbre  (1)
  51. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1975  (3)
  2. 1975 à 1994  (3)
  3. 1995 à 2000  (5)
  4. 2001 à 2006  (5)
  5. Après 2006  (3)
  6. Autres open sub menu

Langue 

  1. Anglais  (13)
  2. Français  (5)
  3. Allemand  (1)
  4. 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.