Problem solving in automata, languages, and complexity

Problem solving in automata, languages, and complexity

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Du, Dingzhu
Συγγραφή απο Οργανισμό/Αρχή:	John Wiley & Sons
Άλλοι συγγραφείς:	Ko, Ker-I
Μορφή:	Ηλεκτρονική πηγή Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Wiley c2001
Θέματα:	Λογική, Συμβολική και μαθηματική Γλωσσική πολιτική Θεωρία μηχανών
Διαθέσιμο Online:	http://dx.doi.org/10.1002/0471224642

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

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

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

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)

Cellular automata and complexity : collected papers /
ανά: Wolfram, Stephen
Έκδοση: (1994)

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

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

Guardians of language : twenty voices through history /
ανά: Coulmas, Florian
Έκδοση: (2016)

Mathematical problem solving
ανά: Schoenfeld, Alan H.
Έκδοση: (1985)

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

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

Automata theory and its applications
ανά: Khoussainov, Bakhadyr 1961-
Έκδοση: (2001)

Language and politics
ανά: Joseph, John E.
Έκδοση: (2006)

Decolonisation, globalisation language-in-education policy and practice
Έκδοση: (2005)

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

On group-theoretic decision problems and their classification /
ανά: Miller, Charles F., 1941-
Έκδοση: (1971)

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

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

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

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

Algebraic complexity theory /
ανά: Bürgisser, Peter, 1962-
Έκδοση: (1997)

Computability, complexity, logic /
ανά: Börger, E. 1946- (Egon)
Έκδοση: (1989)

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

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

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

The language of logic
ανά: Freudenthal, Hans, 1905-
Έκδοση: (1966)

The classical decision problem /
ανά: Boerger, Egon, 1946-
Έκδοση: (1997)

The problem of inductive logic /
Έκδοση: (1968)

Μιλώντας για την Ευρώπη οι γλώσσες στην Ευρωπαϊκή Ένωση
Έκδοση: (2008)

Solvable cases of the decision problem /
ανά: Ackermann, W. (Wilhelm), 1896-
Έκδοση: (1954)

Solvable cases of the decision problem /
ανά: Ackermann, W. (Wilhelm), 1896-
Έκδοση: (1954)

Foundations of the logical theory of scientific knowledge (complex logic) /
ανά: Zinoviev, Aleksandr, 1922-2006
Έκδοση: (1973)

Languages with expressions of infinite length /
ανά: Karp, Carol, 1926-1972
Έκδοση: (1964)

Computational complexity a modern approach
ανά: Arora, Sanjeev, κ.ά.
Έκδοση: (2009)

The strange logic of random graphs
ανά: Spencer, Joel H.
Έκδοση: (2001)

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

Tool and object a history and philosophy of category theory
ανά: Kromer, Ralf
Έκδοση: (2007)

How to read and do proofs an introduction to mathematical thought processes
ανά: Solow, Daniel
Έκδοση: (2002)

Arithmetic, proof theory, and computational complexity
Έκδοση: (1993)

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

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