Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Hopcroft, John E. (Συγγραφέας), Ullman, Jeffrey D., 1942- (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Reading MA Addison-Wesley c1979
Θέματα:	AUTOMATA Υπολογισμός

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

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

Theory of finite automata With an introduction to formal languages
ανά: Carroll, John, κ.ά.
Έκδοση: (1989)

Algebraic and structural automata theory
Έκδοση: (1991)

Switching and finite automata theory
ανά: Kohavi, Zvi
Έκδοση: (1988)

Modern cellular automata Theory and applications
ανά: Duff, M. J. B., κ.ά.
Έκδοση: (1984)

Automata theory:distributed models Dagstuhl-Seminar-Report; 54 11.01.-15.01.93(9302)

Automata, Languages and Programming Proceedings of the 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 2000
Έκδοση: (2000)

Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989)

Automata, Languages and Programming Proceedings of the 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 1999
Έκδοση: (1999)

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

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

Automata, Languages and Programming Proceedings of the 23rd International Colloquim ICALP'96 Paderborn, Germany, July 6-12, 1996
Έκδοση: (1996)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
ανά: Gramss, Tino
Έκδοση: (1998)

Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Έκδοση: (1986)

Automata, Languages and Programming 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10-14, 1995 Proceedings
Έκδοση: (1995)

Computation Finite and infinite machines
ανά: Minsky, Marvin L. 1927-2016
Έκδοση: (1967)

Computation Finite and infinite machines
ανά: Minsky, Marvin L. 1927-2016
Έκδοση: (1972)

Automata theory and applications in logic and complexity Dagstuhl-Seminar-Report; 5 14.-18.1.1991(9103)

Handbook of proof theory
Έκδοση: (1998)

Equations, models, and programs A mathematical introduction to computer science
ανά: Myers, Thomas J.
Έκδοση: (1988)

Semantics and Logic of Computation

Journal of Sympolic Computation
Έκδοση: (1985)

Information and Computation
Έκδοση: (1987)

Communications, computation, control and signal processing A tribute to Thomas Kailath
Έκδοση: (1997)

Parallel and distributed computation Numerical methods
ανά: Μπερτσέκας, Δημήτρης Π., κ.ά.
Έκδοση: (1989)

Numerical Methods for Ordinary Differential Equations Initial Value Problems
ανά: Griffiths, David F
Έκδοση: (2010)

High Performance Computing in Science and Engineering, Munich 2004 Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2β3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany
ανά: Wagner, Siegfried
Έκδοση: (2005)

The Linear Algebra a Beginning Graduate Student Ought to Know
ανά: Golan, Jonathan S.
Έκδοση: (2007)

Algorithmic Game Theory Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings
ανά: Kontogiannis, Spyros
Έκδοση: (2010)

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
ανά: Cotta, Carlos
Έκδοση: (2007)

Automata theory:infinite computations Dagstuhl-Seminar-Report; 28 6.-10.1.92(9202)

Notes on Introductory Combinatorics
ανά: PΓ³lya, George
Έκδοση: (2010)

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22β27, 2004, Toulouse, France
ανά: Ng, Michael K. 1967-
Έκδοση: (2005)

Transactions on Computational Science VII
ανά: Gavrilova, Marina L
Έκδοση: (2010)

Continuous System Simulation
ανά: Cellier, FranΓois E.
Έκδοση: (2006)

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II
ανά: DβAmbra, Pasqua
Έκδοση: (2010)

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I
ανά: DβAmbra, Pasqua
Έκδοση: (2010)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II
ανά: Cheong, Otfried
Έκδοση: (2010)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I
ανά: Cheong, Otfried
Έκδοση: (2010)

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
ανά: Gerdt, Vladimir P
Έκδοση: (2010)

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