skip to main content
Résultats 1 2 3 4 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computability theory
Material Type:
Livre
Ajouter à Mon espace

Computability theory

Cooper, S. Barry (1943-....)

Boca Raton Fl. London : Chapman & Hall/CRC, 2004

Voir les exemplaires

2
The Universal Turing machine. A half-century survey.
Material Type:
Livre
Ajouter à Mon espace

The Universal Turing machine. A half-century survey.

Herken, Rolf

Wien New York NY : Springer, 1995

Voir les exemplaires

3
Classical recursion theory : the theory of functions and sets of natural numbers
Material Type:
Livre
Ajouter à Mon espace

Classical recursion theory : the theory of functions and sets of natural numbers

Odifreddi, Piergiorgio (1950-....)

Amsterdam New York NY Oxford : North-Holland, 1989

Voir les exemplaires

4
Computability, complexity, logic.
Material Type:
Livre
Ajouter à Mon espace

Computability, complexity, logic.

Börger, Egon (1946-....)

Amsterdam New York NY Oxford : North-Holland, 1989

Voir les exemplaires

5
Complexity, logic, and recursion theory.
Material Type:
Livre
Ajouter à Mon espace

Complexity, logic, and recursion theory.

Sorbi, Andrea (1956-....)

New York NY Basel Hong Kong : Dekker, 1997

Voir les exemplaires

6
Computable functions
Material Type:
Livre
Ajouter à Mon espace

Computable functions

Shen, Alexander (1958-....) ; Vereŝagin, Nikolaj Konstantinovič (1958-....) ; Dubrovskii, V. N.

Providence R.I. : American Mathematical Society, 2003

Voir les exemplaires

7
Material Type:
Versions multiples

Computability, complexity, and languages : fundamentals of theoretical computer science

Davis, Martin (1928-....) ; Sigal, Ron. ; Weyuker, Elaine J.

Plusieurs versions trouvées
Il y a 2 versions

8
Material Type:
Livre
Ajouter à Mon espace

INCOMPUTABILITY.

New York : ACM, 1972

Voir les exemplaires

9
Material Type:
Versions multiples

Automorphisms of the lattice of recursively enumerable sets

Cholak, Peter (1962-....)

Plusieurs versions trouvées
Il y a 2 versions

10
Material Type:
Versions multiples

Uniformizing Dessins and Belyi maps via circle packing

Bowers, Philip L. (1956-....) ; Stephenson, Kenneth (1945-....)

Plusieurs versions trouvées
Il y a 2 versions

11
Material Type:
Versions multiples

Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et [lambda]-calcul

Lassaigne, Richard. ; Rougemont, Michel de.

Plusieurs versions trouvées
Il y a 2 versions

12
Material Type:
Article
Ajouter à Mon espace

Problème du stable probabiliste

Murat, Cécile ; Paschos, Vangelis

Comptes Rendus de l'Académie des Sciences de Paris, 1995. vol. 321 (4), p. 495-498

1995

Accessible en ligne

13
Computable analysis : an introduction
Material Type:
Livre
Ajouter à Mon espace

Computable analysis : an introduction

Weihrauch, Klaus (1943-....)

Berlin New-York N. Y. Paris etc. : Springer, 2000

Voir les exemplaires

14
Material Type:
Livre
Ajouter à Mon espace

Building a constructivist perspective in business and society : a discussion of the anthropology of markets

Acquier, Aurélien ; Gond, Jean-Pascal (1976-....)

Paris : ENSMP, 2005

Voir les exemplaires

15
COMPUTABILITY.
Material Type:
Livre
Ajouter à Mon espace

COMPUTABILITY.

Berlin, Heidelberg : Springer, 1987

Voir les exemplaires

16
Material Type:
Versions multiples

Computability of Julia sets

Braverman, Mark. ; Yampolsky, Michael (1972-....)

Plusieurs versions trouvées
Il y a 4 versions

17
Material Type:
Livre
Ajouter à Mon espace

Computability of recurrence equations

Saouter, Yannick ; Quinton, Patrice ; IRISA 117

S.l. : sn, 1990

Voir les exemplaires  et autres localisations

18
Material Type:
Versions multiples

Introduction à la calculabilité

Wolper, Pierre

Plusieurs versions trouvées
Il y a 2 versions

19
Material Type:
Livre
Ajouter à Mon espace

Calcul of lambdaconversion.

Church, Alonzo (1903-1995.)

Princeton NJ London : Princeton University Press Oxford University Press Humphrey Milford, 1941

Voir les exemplaires

20
Logical foundations of computer science - Tver '92 : proceedings
Material Type:
Livre
Ajouter à Mon espace

Logical foundations of computer science - Tver '92 : proceedings

Congrès 002 Tver 1992. ; Nerode, Anil (1932-....) ; Taitslin, Mikhail A. (1936-....)

Berlin New York NY Paris : Springer, 1992

Voir les exemplaires

Résultats 1 2 3 4 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  (1)
  3. Autres  (4)
  4. Livres  (67)
  5. Thèses  (3)
  6. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1973  (8)
  2. 1973 à 1985  (12)
  3. 1986 à 1992  (24)
  4. 1993 à 2000  (19)
  5. Après 2000  (12)
  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é