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

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

triés par : triés par : pertinenceOr hit Enter to replace sort method
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
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 ; 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
The universal Turing machine : a half-century survey
The universal Turing machine : a half-century survey
Material Type:
Livre 		Ajouter au Panier

The universal Turing machine : a half-century survey

Herken, Rolf (Ed.)

Wien. New-York. Springer-verl, 1995

Indisponible     (->>)

3
Boolean functions and computation models
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     (->>)

4
Computational complexity : a conceptual perspective
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     (->>)

5
Computability theory
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     (->>)

6
Machines and thought
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     (->>)

7
Computation : finite and infinite machines
Material Type:
Livre 		Ajouter au Panier

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
Complexité et décidabilité
Complexité et décidabilité
Material Type:
Livre 		Ajouter au Panier

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
Introduction to the theory of computation
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, copyright 2006

Disponible(->>)

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

Introduction to the theory of computation

Sipser, Michael

Boston (Mass.). Cengage learning, copyright 2013

Disponible(->>)

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

triés par : triés par : pertinenceOr hit Enter to replace sort method
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  (15)
  2. ebooks  (2)
  3. Thèses ou mémoires  (1)
  4. Autres open sub menu

Localisation 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
Affiner
  1. Avant 1988  (3)
  2. 1988 à 1996  (4)
  3. 1997 à 2001  (4)
  4. 2002 à 2008  (5)
  5. Après 2008  (2)
  6. Autres open sub menu

Langue 

  1. Anglais  (13)
  2. Français  (4)
  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 :
  • Bibliothèque Diderot de Lyon 5, parvis René Descartes BP 7000 69342 Lyon cedex 07 FRANCE

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