skip to main content
Résultats 1 2 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
Material Type:
Livre
Ajouter à Mon espace

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Soare, Robert Irving (1940-....)

Berlin Heidelberg Paris etc. : Springer-Verlag, 1987

Voir les exemplaires

2
Material Type:
Versions multiples

Theory of recursive functions and effective computability

Rogers, Hartley (1926-....) ; Dupont, Jean-Yves, provenance (1951-2011)

Plusieurs versions trouvées
Il y a 3 versions

3
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

4
Material Type:
Thèse
Ajouter à Mon espace

Quelques questions d'analyse numérique traitées du point de vue de la calculabilité

Bouhier, Marcel. ; Gastinel, Noël ; Université Joseph Fourier, Grenoble

S.l. : s.n., 1974

Voir les exemplaires

5
Material Type:
Versions multiples

Pure mathematics

Turing, Alan Mathison (1912-1954) ; Britton, J. L (1927-) ; Good, Irving John (1916-....)

Plusieurs versions trouvées
Il y a 2 versions

6
Data streams : algorithms and applications
Material Type:
Livre
Ajouter à Mon espace

Data streams : algorithms and applications

Muthukrishnan, S.

Hanover Mass. : Now, 2005

Voir les exemplaires

7
Material Type:
Versions multiples

Algorithmic randomness and complexity

Downey, Rod G ; Hirschfeldt, Denis R

Plusieurs versions trouvées
Il y a 5 versions

8
Material Type:
Versions multiples

Computability and logic

Boolos, George (1940-1996) ; Jeffrey, Richard Carl (1926-....)

Plusieurs versions trouvées
Il y a 4 versions

9
Introduction to languages and the theory of computation
Material Type:
Livre
Ajouter à Mon espace

Introduction to languages and the theory of computation

Martin, John C.

New York St. Louis Mo. San Francisco Calif. : McGraw-Hill, 1991

Voir les exemplaires

10
Computability
Material Type:
Livre
Ajouter à Mon espace

Computability

Tourlakis, George J (1946-....)

Reston, Va. : Reston Pub. Co., cop. 1984

Disponible(Obtenir)

11
Material Type:
Versions multiples

Computability and unsolvability

Davis, Martin (1928-....)

Plusieurs versions trouvées
Il y a 3 versions

12
Computability in context : computation and logic in the real world
Material Type:
Livre
Ajouter à Mon espace

Computability in context : computation and logic in the real world

Cooper, S. Barry (1943-....) ; Sorbi, Andrea (1956-....) ; Adriaans, Pieter ; Longo, Giuseppe (1947-....) ; Paul, Thierry

London : Imperial College Press, 2011

Voir les exemplaires(Obtenir)

13
Recursion on the countable functionals
Material Type:
Livre
Ajouter à Mon espace

Recursion on the countable functionals

Normann, Dag (1947-....)

Berlin Heidelberg New York : Springer-Verlag, 1980

Voir les exemplaires(Obtenir)

14
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

15
Material Type:
Livre
Ajouter à Mon espace

Konstruktive analysis

Klaua, Dieter

Berlin : Veb Deutscher Verlag der Wissenschaften, 1961

Disponible(Obtenir)

16
Introduction à la calculabilité : cours et exercices corrigés
Material Type:
Livre
Ajouter à Mon espace

Introduction à la calculabilité : cours et exercices corrigés

Wolper, Pierre.

Paris : Dunod, 2006

Voir les exemplaires(Obtenir)

17
Material Type:
Livre
Ajouter à Mon espace

Leçons sur les fonctions calculables

Uspenskij, Vladimir Andreevič (1930-....) ; Chauvin, André (1914-....)

Paris : Hermann, 1966

Voir les exemplaires(Obtenir)

18
Material Type:
Versions multiples

La machine de Turing

Turing, Alan Mathison (1912-1954.) ; Girard, Jean-Yves (1947-....) ; Basch, Julien ; Blanchard, Patrice ; Dupont, Jean-Yves, provenance (1951-2011)

Plusieurs versions trouvées
Il y a 3 versions

19
Material Type:
Versions multiples

Computability : an introduction to recursive function theory

Cutland, Nigel (1944-....)

Plusieurs versions trouvées
Il y a 2 versions

20
Material Type:
Versions multiples

The nature of computation : logic, algorithms, applications proceedings

Conference on computability in Europe 09 2013 Milan, Italie. ; Bonizzoni, Paola ; Brattka, Vasco ; Löwe, Benedikt

Plusieurs versions trouvées
Il y a 2 versions

Résultats 1 2 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Ressources en ligne (1)
  2. Disponible (13)

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (2)
  2. Livres  (33)
  3. Thèses  (1)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1980  (5)
  2. 1980 à 1988  (12)
  3. 1989 à 1994  (10)
  4. 1995 à 2006  (6)
  5. Après 2006  (6)
  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é