Theory of Computation

Theory of Computation

Bibliographic Details
Main Author:	Kozen, Dexter 1951-
Format:	Electronic Kit Book
Language:	English
Published:	London Springer-Verlag London Limited 2006
Series:	Texts in Computer Science
Subjects:	Information theory Computer science Computer software Computer science > Mathematics Computer Science Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Computational Mathematics and Numerical Analysis Computational Science and Engineering
Online Access:	http://dx.doi.org/10.1007/1-84628-477-5

Similar Items

Algorithmic Randomness and Complexity
by: Downey, Rodney G
Published: (2010)

Complexity Theory and Cryptology An Introduction to Cryptocomplexity
by: Rothe, JΓΆrg
Published: (2005)

Parameterized Complexity Theory
by: Flum, JΓΆrg
Published: (2006)

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
by: Raman, Venkatesh
Published: (2010)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
by: Bollig, Benedikt
Published: (2006)

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
by: Zomaya, Albert Y.
Published: (2006)

Super-Recursive Algorithms
by: Burgin, Mark
Published: (2005)

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
by: Hromkovic, Juraj
Published: (2005)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
by: Hsu, Ching-Hsien
Published: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
by: Hsu, Ching-Hsien
Published: (2010)

Algorithms and Programming Problems and Solutions
by: Shen, A. 1958- (Alexander)
Published: (2010)

The P=NP Question and GΓΆdelβs Lost Letter
by: Lipton, Richard J
Published: (2010)

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
by: Neumann, Frank
Published: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
by: KratochvΓl, Jan
Published: (2010)

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
by: Fukuda, Komei
Published: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
by: Lee, Der-Tsai
Published: (2010)

Game of Life Cellular Automata
by: Adamatzky, Andrew
Published: (2010)

Handbook of Floating-Point Arithmetic
by: Muller, Jean-Michel
Published: (2010)

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
by: Cotta, Carlos
Published: (2007)

Theoretical Aspects of Local Search
by: Michiels, Wil
Published: (2007)

Genetic Programming Theory and Practice II
by: OβReilly, Una-May
Published: (2005)

Genetic Programming Theory and Practice VII
by: Riolo, Rick
Published: (2010)

Genetic Programming Theory and Practice III
by: Yu, Tina
Published: (2006)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
by: Bonanno, Giacomo
Published: (2010)

Transactions on Petri Nets and Other Models of Concurrency IV
by: Jensen, K. (Kurt), 1950-
Published: (2010)

Notes on Introductory Combinatorics
by: PΓ³lya, George
Published: (2010)

Numerical Mathematics and Advanced Applications 2009 Proceedings of ENUMATH 2009, the 8th European Conference on Numerical Mathematics and Advanced Applications, Uppsala, July 2009
by: Kreiss, Gunilla
Published: (2010)

High Performance Computing in Science and Engineering '09 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2009
by: Nagel, Wolfgang E
Published: (2010)

Numerical Methods for General and Structured Eigenvalue Problems
by: Kressner, Daniel
Published: (2005)

Dimension Reduction of Large-Scale Systems Proceedings of a Workshop held in Oberwolfach, Germany, October 19β25, 2003
by: Benner, Peter
Published: (2005)

Coordination of Large-Scale Multiagent Systems
by: Scerri, Paul
Published: (2006)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
by: Ablayev, Farid
Published: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
by: Frappier, Marc
Published: (2010)

Matematica Numerica Esercizi, Laboratori e Progetti
by: DβAngelo, Carlo
Published: (2010)

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
by: Brennan, Rob
Published: (2010)

Transactions on Computational Science VII
by: Gavrilova, Marina L
Published: (2010)

Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
by: Kaplan, Haim
Published: (2010)

Theory of Computation
by: Kozen, Dexter C.
Published: (2006)

Evolutionary Computation in Combinatorial Optimization 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
by: Cowling, Peter
Published: (2010)

Automatic Differentiation: Applications, Theory, and Implementations
by: Bocker, Martin
Published: (2006)

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

Cannot write session to /tmp/vufind_sessions/sess_k0j6et4gm29c1585sm3m4m0me8