Automata and computability :: SCD d'Orléans

Automata and computability

Automata and computability

保存先:

書誌詳細
第一著者:	Kozen, Dexter C., 1951-
フォーマット:	Livre papier
言語:	Anglais
出版事項:	New York ; Berlin ; Heidelberg : Springer C 1997.
シリーズ:	Undergraduate texts in computer science
主題:	Automates mathématiques, Théorie des Théorie des machines séquentielles Complexité de calcul (informatique) Machines de Turing
Autres localisations:	Voir dans le Sudoc

類似資料

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

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

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

Introduction à la calculabilité : cours et exercices corrigés
著者:: Wolper, Pierre, 1955-
出版事項: (2001)

Automata studies
著者:: Shannon, Claude Elwood, 1916-2001
出版事項: (1956)

Sequential machines and automata theory
著者:: Booth, Taylor L.
出版事項: (1967)

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

Théorie structurelle des automates finis
著者:: Moisil, Grigore C., 1906-1973
出版事項: (1967)

Automates à états finis et langages réguliers : rappels des notions essentielles et plus de 170 exercices corrigés
著者:: Falcone, Yliès Carlo, 1981-...., auteur en informatique, 等
出版事項: (2020)

Machines de Turing et automates cellulaires : du trait gravé au très animé
著者:: Corge, Charles
出版事項: (2008)

Formal models of communicating systems : languages, automata, and monadic second-order logic
著者:: Bollig, Benedikt
出版事項: (2006)

Komplexität von Entscheidungsproblemen : ein seminar
著者:: Specker, Ernst, 1920-2011
出版事項: (2005)

Calculabilité effective et algorithmique théorique
著者:: Vollat, Patrick
出版事項: (1989)

Algèbre de Boole et machines logiques
出版事項: (1967)

Logique et automates : option informatique en MPSI, MP et MP* : premier et deuxième cycles universitaires : écoles d'ingénieurs
著者:: Bellot, Patrick, 1968-, 等
出版事項: (1998)

Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings

Fondamentaux de la théorie des automates : de l'intuition aux méthodes formelles en 400 exercices corrigés
著者:: Séébold, Patrice, 19..-
出版事項: (2020)

Introduction to switching and automata theory
著者:: Harrison, Michael A., 19..-
出版事項: (1965)

Sequence learning : paradigms, algorithms, and applications
著者:: Sun, Ron, 1960-

Logique séquentielle : cours et exercices
著者:: Gindre, Marcel, 1948-, 等
出版事項: (1987)

Systèmes logiques
著者:: Perrin, Jean-Paul, 19..-...., ingénieur, 等
出版事項: (1967)

Büchi's monadic second order successor arithmetic
著者:: Siefkes, Dirk
出版事項: (1970)

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

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981

Büchi's monadic second order successor arithmetic
著者:: Siefkes, Dirk

Automates à états finis et langages réguliers : rappels des notions essentielles et plus de 170 exercices corrigés
著者:: Falcone, Yliès Carlo, 1981-...., auteur en informatique, 等
出版事項: (2020)

An introduction to mathematical machine theory
著者:: Ginsburg, Seymour, 1927-2004
出版事項: (1962)

Machines séquentielles
著者:: Zahnd, Jacques, 1939-
出版事項: (1987)

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

Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975
出版事項: (2005)

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

Nouvelles orientations des mathématiques
著者:: Âglom, Isaak Moiseevič, 1921-1988, 等
出版事項: (1975)

Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings

Mathematical foundations of computer science 1979 : proceedings, 8th symposium, Olomouc, Czechoslovakia, September 3-7, 1979

Conception de systèmes automatiques
著者:: Bühler, Hansruedi, 1929-
出版事項: (1988)

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

Teoria degli automi finiti
著者:: De Luca, Aldo, 1941-, 等
出版事項: (2013)

© 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