Calculabilité effective et algorithmique théorique :: SCD d'Orléans

Calculabilité effective et algorithmique théorique

Calculabilité effective et algorithmique théorique

Guardat en:

Dades bibliogràfiques
Autor principal:	Vollat, Patrick
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Eyrolles 1989.
Matèries:	Complexité de calcul (informatique) Logiciels > Développement Fonctions récursives Turing, Machines de Algorithmes Fonctions calculables Informatique
Autres localisations:	Voir dans le Sudoc

Ítems similars

La machine de Turing
per: Turing, Alan Mathison, 1912-1954, et al.
Publicat: (1999)

Complexité et décidabilité
per: Dehornoy, Patrick, 1952-2019, mathématicien
Publicat: (1993)

Introduction à la calculabilité
per: Wolper, Pierre, 1955-
Publicat: (1991)

Introduction à la calculabilité : cours et exercices corrigés
per: Wolper, Pierre, 1955-
Publicat: (2001)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
per: Davis, Martin, 1928-2023, et al.
Publicat: (1965)

Langages formels, calculabilité et complexité
per: Carton, Olivier, 19..-...., mathématicien
Publicat: (2008)

Turing machines with sublogarithmic space
per: Szepietowski, Andrzej, 19..-

Komplexität von Entscheidungsproblemen : ein seminar
per: Specker, Ernst, 1920-2011
Publicat: (2005)

Theory of recursive functions and effective computability
per: Rogers, Hartley, 1926-2015
Publicat: (1967)

Computability and logic
per: Boolos, George, 1940-1996, et al.
Publicat: (1974)

Automata and computability
per: Kozen, Dexter C., 1951-
Publicat: (1997)

Introduction to the theory of computation
per: Sipser, Michael
Publicat: (2006)

Langages formels : calculabilité et complexité : cours et exercices corrigés
per: Carton, Olivier
Publicat: (2014)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

Algorithmes et complexité
per: Wilf, Herbert S., 1931-2012, mathématicien
Publicat: (1989)

Leçons sur les fonctions calculables
per: Uspenskij, Vladimir Andreevič, 1930-2018
Publicat: (1966)

Computability
per: Tourlakis, George J., 1946-
Publicat: (1984)

Computability
per: Weihrauch, Klaus, 1943-
Publicat: (1987)

Computational science and its applications - ICCSA 2003 : International conference Montreal, Canada, May 18 21, 2003 : proceedings, part II

Computational science and its applications - ICCSA 2003 : International conference Montreal, Canada, May 18 21, 2003 : proceedings, part I

Computational science and its applications - ICCSA 2003 : International conference Montreal, Canada, May 18 21, 2003 : proceedings, part III

The nature of computation : logic, algorithms, applications : proceedings
Publicat: (2013)

Anthologie de la calculabilité : naissance et développements de la théorie de la calculabilité des années 1920 à 1970
per: Mosconi, Jean, 1942-
Publicat: (2022)

Algorithm theory - SWAT '98 : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8 10, 1998 : proceedings

Algorithms and complexity : 5th Italian conference, CIAC 2003, Rome, Italy, May 28-30, 2003 : proceedings

Algorithms and computation : 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997 : proceedings

Elements of the theory of computation
per: Lewis, Harry R., 1947-, et al.
Publicat: (1981)

Subrecursion : functions and hierarchies
per: Rose, Harvey Ernest, 1936-
Publicat: (1984)

Le Calcul intensif
per: Stockmeyer, Larry, 1948-, et al.
Publicat: (1989)

Algorithms and computation : 9th international symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998 : proceedings

Algorithms and computation : 10th International Symposium, ISAAC 99, Chennai, India, December 16 18, 1999 : proceedings

Calculabilité : aléatoire, mathématiques à rebours et hypercalculabilité
per: Monin, Benoît, 1982-, et al.
Publicat: (2022)

Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 2000 : proceedings

Algorithm theory - SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6 8, 1994 : proceedings

Algorithm theory - SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3 5, 1996 : proceedings

Algorithms and complexity : second Italian conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings

Algorithms and complexity : third Italian conference, CIAC '97, Rome, Italy, March 12-14, 1997 : proceedings

SWAT 88 : 1st Scandinavian workshop on algorithm theory, Halmstad, Sweden, July 5 8, 1988 : proceedings

Randomness and completeness in computational complexity
per: Van Melkebeek, Dieter

Complexité algorithmique
per: Perifel, Sylvain, 1982-
Publicat: (2014)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales