skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Versions multiples

Computability and logic.

Boolos, George (1940-1996.) ; Jeffrey, Richard Carl (1926-....) ; Martin, Roger, provenance (1920-1979)

Plusieurs versions trouvées
Il y a 4 versions

2
Material Type:
Versions multiples

Elements of the theory of computation

Lewis, Harry R. ; Papadimitriou, Christos H. (1949-....)

Plusieurs versions trouvées
Il y a 2 versions

3
La thèse de l'hyper-calcul : problèmes et enjeux philosophiques
Material Type:
Autre
Ajouter à Mon espace

La thèse de l'hyper-calcul : problèmes et enjeux philosophiques

Franchette , Florent ; Institut d'Histoire et de Philosophie des Sciences et des Techniques ( IHPST ) ; Université Panthéon-Sorbonne ( UP1 ) -Département d'Etudes Cognitives - ENS Paris ( DEC ) ; École normale supérieure - Paris ( ENS Paris ) -École normale supérieure - Paris ( ENS Paris ) -Centre National de la Recherche Scientifique ( CNRS )

ISSN: 1281-2463

HAL CCSD;Paris; Editions Kime; [2014], 2012

Accessible en ligne

4
Material Type:
Versions multiples

Computation : finite and infinite machines

Minsky, Marvin (1927-....)

Plusieurs versions trouvées
Il y a 2 versions

5
Material Type:
Article
Ajouter à Mon espace

Alan Turing : la pensée informatique

Lassègue, Jean ; Giavitto, Jean-Louis ; Rechenmann, François

Marly-le-Roi Yvelines : Centre régional de documentation pédagogique de l'académie de Versailles, 2012

Voir les exemplaires

6
Computational complexity.
Material Type:
Livre
Ajouter à Mon espace

Computational complexity.

Wagner, Klaus Werner. ; Wechsung, Gerd.

Dordrecht Boston MA Lancaster : Reidel, 1986

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

ELEMENTS D'AUTOMATIQUE.

Paris : Dunod, 1971

Voir les exemplaires

8
Material Type:
Versions multiples

Introduction to mathematical logic.

Mendelson, Elliott (1931-....)

Plusieurs versions trouvées
Il y a 3 versions

9
Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography
Material Type:
Livre
Ajouter à Mon espace

Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography

Hromkovic, Juraj (1958-....)

Berlin New York Paris etc. : Springer, 2004

Voir les exemplaires

10
Material Type:
Versions multiples

Fondements mathématiques de l'informatique.

Stern, Jacques (1949-....)

Plusieurs versions trouvées
Il y a 2 versions

11
Material Type:
Livre
Ajouter à Mon espace

Sequential machines and automata theory

Booth, Taylor L.

New York : Wiley, 1967

Voir les exemplaires

12
Computability and logic
Material Type:
Livre
Ajouter à Mon espace

Computability and logic

Cohen, Daniel E. (1934-....)

Chichester, West Sussex, England New York : E. Horwood Halsted Press, 1987

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

CINQ CLASSES D'IDEES.

Delahaye, Jean-Paul (1952-....)

s.l. : s.n., 1989

Voir les exemplaires

14
Computability theory : an introduction
Material Type:
Livre
Ajouter à Mon espace

Computability theory : an introduction

Jones, Neil D.

New York : Academic Press, 1973

Voir les exemplaires(Obtenir)

15
Alan Turing the enigma
Material Type:
Livre
Ajouter à Mon espace

Alan Turing the enigma

HODGES, Andrew

New York : Simon & Schuster, 1983

Voir les exemplaires  et autres localisations(Obtenir)

16
Material Type:
Livre
Ajouter à Mon espace

Automata studies

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

Princeton N.J. : Princeton University Press, 1956

Voir les exemplaires(Obtenir)

17
Material Type:
Versions multiples

Introduction to automata theory, languages, and computation

Hopcroft, John Edward (1939-....) ; Ullman, Jeffrey David (1942-....)

Plusieurs versions trouvées
Il y a 6 versions

18
A programming approach to computability
Material Type:
Livre
Ajouter à Mon espace

A programming approach to computability

Kfoury, A. J. ; Moll, Robert N. ; Arbib, Michael A (1940-....)

New York Berlin Heidelberg : Springer-Verlag, 1982

Voir les exemplaires(Obtenir)

19
Material Type:
Versions multiples

Theories of abstract automata

Arbib, Michael A. (1940-....)

Plusieurs versions trouvées
Il y a 2 versions

20
An introduction to formal language theory
Material Type:
Livre
Ajouter à Mon espace

An introduction to formal language theory

Moll, Robert N. ; Arbib, Michael A (1940-....) ; Kfoury, A. J.

New York : Springer-Verlag, 1988

Voir les exemplaires(Obtenir)

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (1)
  2. Articles  (84)
  3. Articles de journaux  (23)
  4. Articles encyclopédiques  (3)
  5. Autres  (8)
  6. Livres  (39)
  7. Revues critiques  (1)
  8. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1980  (15)
  2. 1980 à 1988  (23)
  3. 1989 à 1998  (32)
  4. 1999 à 2010  (32)
  5. Après 2010  (63)
  6. Plus d’options open sub menu

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

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré