Automata and computability /

Automata and computability /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kozen, Dexter 1951- (συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York : Springer, c1997.
Σειρά:	Undergraduate texts in computer science
Θέματα:	Θεωρία μηχανών > Υπολογιστική Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές

Παρόμοια τεκμήρια

Automata, languages and programming fifth colloquium, Udine, Italy, July 17-21, 1978
Έκδοση: (1978)

Automata on infinite words Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18, 1984
Έκδοση: (1985)

Introduction to the theory of computation /
ανά: Sipser, Michael
Έκδοση: (1997)

Introduction to the theory of computation /
ανά: Sipser, Michael
Έκδοση: (2006)

Models of computation and formal languages R. Gregory Taylor
ανά: Taylor, R. Gregory
Έκδοση: (1998)

Theories of computability /
ανά: Pippenger, Nicholas
Έκδοση: (1997)

Extrapolation methods theory and practice
ανά: Brezinski, Claude
Έκδοση: (1991)

The unknowable /
ανά: Chaitin, Gregory J.
Έκδοση: (1999)

Algorithmic information theory /
ανά: Chaitin, Gregory J.
Έκδοση: (1987)

Foundations for programming languages
ανά: Mitchell, John C.
Έκδοση: (1996)

The formal semantics of programming languages an introduction
ανά: Winskel, G. (Glynn)
Έκδοση: (1993)

Arithmetic complexity of computations
ανά: Winograd, Shmuel
Έκδοση: (1980)

Computability and complexity from a programming perpective
ανά: Jones, Neil D.
Έκδοση: (1997)

Computing in Horn clause theories
ανά: Padawitz, Peter
Έκδοση: (1988)

Handbook of process algebra /
Έκδοση: (2001)

A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2007)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2020)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2012)

Finite automata
ανά: Lawson, Mark V.
Έκδοση: (2004)

The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997)

Teaching and learning formal methods
Έκδοση: (1996)

An introduction to computational learning theory :
ανά: Kearns, Michael J.
Έκδοση: (1994)

Introduction to the theory of computation
ανά: Sipser, Michael
Έκδοση: (1996)

Unconventional models of computation
Έκδοση: (1998)

Introduction to the theory of computation
ανά: Sipser, Michael
Έκδοση: (1996)

Automated reasoning introduction and applications
ανά: Wos, Larry
Έκδοση: (1984)

First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1996)

The limits of mathematics a course on information theory and limits of formal reasoning
ανά: Chaitin, Gregory J.
Έκδοση: (1998)

DNA computing new computing paradigms
ανά: Paun, G.
Έκδοση: (1998)

Elements of the theory of computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1981)

Elements of the Theory of Computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1998)

Problem solving in automata, languages, and complexity
ανά: Du, Dingzhu
Έκδοση: (2001)

Τρισδιάστατος προτυποποίησις ανοχών δια την επίλυσιν προβλημάτων συναρμολογήσεως
ανά: Καραγιάννης, Στέφανος Α.
Έκδοση: (2000)

Theory of computation /
ανά: Wood, Derick
Έκδοση: (1987)

The connection machine
ανά: Hillis, W. D.
Έκδοση: (1985)

Automata, Languages and Programming Proceedings of the 28th International Colloquium, ICALP 2001 Crete, Greece, July 2001
Έκδοση: (2001)

Sequential machines and automata theory
ανά: Booth, Taylor L.
Έκδοση: (1967)

Econometrics of qualitative variables
ανά: Gourieroux, Christian
Έκδοση: (2000)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών