Information, complexité et hasard :: SCD d'Orléans

Information, complexité et hasard

Information, complexité et hasard

保存先:

書誌詳細
第一著者:	Delahaye, Jean-Paul, 1952-
フォーマット:	Livre papier
言語:	Français
出版事項:	Paris : Hermès impr. 1994
シリーズ:	Langue, raisonnement, calcul
主題:	Suites aléatoires Hasard Informatique > Philosophie Complexité de calcul (informatique) Complexité (philosophie) Philosophie et sciences Induction (mathématiques) Automates mathématiques, Théorie des Information, Théorie de l' Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

類似資料

Complexité aléatoire et complexité organisée
著者:: Delahaye, Jean-Paul, 1952-
出版事項: (2009)

Complexités : aux limites des mathématiques et de l'informatique
著者:: Delahaye, Jean-Paul, 1952-
出版事項: (2006)

Complexité et décidabilité
著者:: Dehornoy, Patrick, 1952-2019, mathématicien
出版事項: (1993)

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
著者:: Lolli, Gabriele, 1942-
出版事項: (2011)

STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25 27, 1993 : proceedings

Logique et complexité
著者:: Lassaigne, Richard, 等
出版事項: (1996)

Introduction to the theory of computation
著者:: Sipser, Michael
出版事項: (2006)

Logique(s), langages formels et complexité pour l'informatique
著者:: Jussien, Narendra, 1973-
出版事項: (2006)

Mathématiques discrètes et informatique
著者:: Nguyen, Huy Xuong, 19..-...., informaticien
出版事項: (1992)

Complexité algorithmique : et problèmes de communications
著者:: Barthélemy, Jean-Pierre, 1945-, 等
出版事項: (1992)

Logic and machines : decision problems and complexity : proceedings of the symposium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut für Matematische Logik und Grundlagenforshung der Universität Münster, Westfalen

Tractable reasoning in artificial intelligence
著者:: Cadoli, Marco

Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981

Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
著者:: Karpiński, Marek

Introduction to automata theory, languages, and computation
著者:: Hopcroft, John Edward, 1939-, 等
出版事項: (1979)

Introduction à la calculabilité
著者:: Wolper, Pierre, 1955-
出版事項: (1991)

CAAP '86 : 11th Colloquium on trees in algebra and programming, Nice, France, March 24-26, 1986 : proceedings

Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99 Szklarska Por©eba, Poland, September 6-10, 1999 : proceedings

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

The nature of computation : logic, algorithms, applications : proceedings
出版事項: (2013)

Trees in algebra and programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22 24, 1996 : proceedings

Journal of logic and computation.
出版事項: (1990)

Automata and computability
著者:: Kozen, Dexter C., 1951-
出版事項: (1997)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
著者:: Leivant, Daniel

Fundamentals of computation theory : ; proceedings 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003

Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981

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

Elements of the theory of computation
著者:: Lewis, Harry R., 1947-, 等
出版事項: (1981)

Efficient checking of polynomials and proofs and the hardness of approximation problems
著者:: Sudan, Madhu

La machine de Turing
著者:: Turing, Alan Mathison, 1912-1954, 等
出版事項: (1999)

CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26 28, 1992 : proceedings

Fundamentals of computation theory : International Conference FCT '89 Szeged, Hungary, August 21 25, 1989 : proceedings

Fundamentals of computation theory : 8th International Conference, FCT '91 Gosen, Germany, September 9 13, 1991 : proceedings

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Automata, logics, and infinite games
著者:: Grädel, Erich, 1958-

Machines, languages, and complexity : 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions

Optimal Estimation in Approximation Theory : [proceedings of an International Symposium on Optimal Estimation in Approximation Theory held in Freudenstadt, Federal Republic of Germany, September 27-29, 1976]

Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings

© 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