Introduction to the theory of computation /

Introduction to the theory of computation /

Εμφάνιση άλλων εκδόσεων (3)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Sipser, Michael (συγγραφέας.)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston : PWS Pub. Co., c1997.
Θέματα:	Θεωρία μηχανών Υπολογιστική πολυπλοκότητα

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

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

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

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

Automata and computability /
ανά: Kozen, Dexter 1951-
Έκδοση: (1997)

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

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

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

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

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

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

The theory of computability : programs, machines, effectiveness, and feasibility /
ανά: Sommerhalder, R.
Έκδοση: (1988)

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

Computational complexity /
ανά: Wagner, K. (Klaus)
Έκδοση: (1986)

Computational complexity /
ανά: Papadimitriou, Christos H., 1949-
Έκδοση: (1994)

Complexity theory : current research /
Έκδοση: (1993)

Complexity theory retrospective II /
Έκδοση: (1997)

Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California June 2-5,1986 /
Έκδοση: (1986)

Computation in living cells : gene assembly in ciliates /
Έκδοση: (2004)

Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /
Έκδοση: (1997)

Structural complexity /
ανά: Balcázar, José Luis
Έκδοση: (1995)

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

Computational limitations for small-depth circuits /
ανά: Håstad, Johan
Έκδοση: (1987)

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

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

SWAT 90 : 2nd Scandinavian Workshop on algorithm theory, Bergen, Sweden, July 11-14, 1990 : proceedings /
Έκδοση: (1990)

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

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

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

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

Randomness and completeness in computational complexity /
ανά: Melkebeek, Dieter Van
Έκδοση: (2000)

Complexity : knots, colourings and counting /
ανά: Welsh, D. J. A.
Έκδοση: (1993)

Boolean function complexity /
Έκδοση: (1992)

Bayes linear statistics : theory and methods /
ανά: Goldstein, Michael, 1949-
Έκδοση: (2007)

Algorithms and complexity : new directions and recent results : [proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976] /
Έκδοση: (1976)

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

Descriptive complexity /
ανά: Immerman, Neil, 1953-
Έκδοση: (1999)

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

Αυτόματα γλώσσες γραμματικές /
ανά: Μποζαπαλίδης, Συμεών
Έκδοση: (2010)

Theory of computation : formal languages, automata, and complexity /
ανά: Brookshear, J. Glenn
Έκδοση: (1989)

Studies in complexity theory /
Έκδοση: (1986)

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

Cannot write session to /tmp/vufind_sessions/sess_0obinmtsbll6d7lvpe3klemgiq