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
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:
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

19
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

20
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

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

Auteur 

  1. Hainry, Emmanuel  (3)
  2. Girard, Jean-Yves (1947-...)  (2)
  3. Lassègue, Jean  (2)
  4. Davis, Martin (1928-...)  (2)
  5. Bournez, Olivier  (2)
  6. 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 )  (2)
  7. Wolper, Pierre  (2)
  8. Bienvenu, Laurent  (1)
  9. Janod, Agathe  (1)
  10. Weyuker, Elaine J  (1)
  11. Sipser, Michael (19..-...)  (1)
  12. Pognan, Patrice  (1)
  13. Ullman, Jeffrey D, 1942-...  (1)
  14. Rubio-Garcia, Julio  (1)
  15. Ullman, Jeffrey David (1942-...)  (1)
  16. Chauvin, André (1914-...)  (1)
  17. Monniaux, David  (1)
  18. Franchette , Florent  (1)
  19. Stainer, Julien  (1)
  20. Galitzine, Dimitri  (1)
  21. Church, Alonzo (1903-1995)  (1)
  22. Patey, Ludovic  (1)
  23. Kaczmarek, Matthieu  (1)
  24. Jeandel, Emmanuel  (1)
  25. Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré ( LHSP ) ; Université de Lorraine ( UL ) -Centre National de la Recherche Scientifique ( CNRS )  (1)
  26. Ilcinkas, David  (1)
  27. Dewdney, A. K  (1)
  28. Cholak, Peter (1962-...)  (1)
  29. Bellay, Aurore  (1)
  30. Coquand, Thierry  (1)
  31. Quinton, Patrice  (1)
  32. Vereŝagin, Nikolaj Konstantinovič (1958-...)  (1)
  33. Food and Environment Research Agency  (1)
  34. Reichert, Julien  (1)
  35. Uspenskij, Vladimir Andreevič (1930-...)  (1)
  36. Lerouge, Virginie  (1)
  37. Stockinger, Peter  (1)
  38. Triclot, Mathieu  (1)
  39. Rogers, Hartley (1926-...)  (1)
  40. Pouly, Amaury  (1)
  41. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1979  (9)
  2. 1979 à 1987  (19)
  3. 1988 à 1995  (27)
  4. 1996 à 2005  (19)
  5. Après 2005  (18)
  6. Plus d’options open sub menu

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Hainry, Emmanuel
  2. Girard, Jean-Yves (1947-...)
  3. Lassègue, Jean
  4. Davis, Martin (1928-...)
  5. Bournez, Olivier

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é