Theory of Computation

Theory of Computation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kozen, Dexter 1951-
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	London Springer-Verlag London Limited 2006
Σειρά:	Texts in Computer Science
Θέματα:	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:	http://dx.doi.org/10.1007/1-84628-477-5

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

Algorithmic Randomness and Complexity
ανά: Downey, Rodney G
Έκδοση: (2010)

Super-Recursive Algorithms
ανά: Burgin, Mark
Έκδοση: (2005)

Complexity Theory and Cryptology An Introduction to Cryptocomplexity
ανά: Rothe, JΓΆrg
Έκδοση: (2005)

Parameterized Complexity Theory
ανά: Flum, JΓΆrg
Έκδοση: (2006)

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
ανά: Raman, Venkatesh
Έκδοση: (2010)

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
ανά: Hromkovic, Juraj
Έκδοση: (2005)

Algorithms and Programming Problems and Solutions
ανά: Shen, A. 1958- (Alexander)
Έκδοση: (2010)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ανά: Bollig, Benedikt
Έκδοση: (2006)

High Performance Computing in Science and Engineering '09 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2009
ανά: Nagel, Wolfgang E
Έκδοση: (2010)

Numerical Mathematics and Advanced Applications 2009 Proceedings of ENUMATH 2009, the 8th European Conference on Numerical Mathematics and Advanced Applications, Uppsala, July 2009
ανά: Kreiss, Gunilla
Έκδοση: (2010)

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
ανά: Zomaya, Albert Y.
Έκδοση: (2006)

Dimension Reduction of Large-Scale Systems Proceedings of a Workshop held in Oberwolfach, Germany, October 19β25, 2003
ανά: Benner, Peter
Έκδοση: (2005)

The P=NP Question and GΓΆdelβs Lost Letter
ανά: Lipton, Richard J
Έκδοση: (2010)

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23β24, 2006, Santiago, Chile
ανά: Navarro, Gonzalo
Έκδοση: (2006)

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

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ανά: KratochvΓl, Jan
Έκδοση: (2010)

Numerical Methods for General and Structured Eigenvalue Problems
ανά: Kressner, Daniel
Έκδοση: (2005)

Matematica Numerica Esercizi, Laboratori e Progetti
ανά: DβAngelo, Carlo
Έκδοση: (2010)

Game of Life Cellular Automata
ανά: Adamatzky, Andrew
Έκδοση: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ανά: Lee, Der-Tsai
Έκδοση: (2010)

Effective Computational Geometry for Curves and Surfaces
ανά: Boissonnat, Jean-Daniel
Έκδοση: (2006)

High Performance Computing in Science and Engineeringβ 05 Transactions of the High Performance Computing Center Stuttgart (HLRS) 2005
ανά: Nagel, Wolfgang E.
Έκδοση: (2006)

The Pillars of Computation Theory State, Encoding, Nondeterminism
ανά: Rosenberg, Arnold L., 1941-
Έκδοση: (2010)

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
ανά: Neumann, Frank
Έκδοση: (2010)

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

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

The Mathematica GuideBook for Numerics
ανά: Trott, Michael
Έκδοση: (2006)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ανά: Frappier, Marc
Έκδοση: (2010)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ανά: Ablayev, Farid
Έκδοση: (2010)

Coordination of Large-Scale Multiagent Systems
ανά: Scerri, Paul
Έκδοση: (2006)

Automatic Differentiation: Applications, Theory, and Implementations
ανά: Bocker, Martin
Έκδοση: (2006)

Calcul Scientifique Cours, exercices corrigΓ©s et illustrations en MATLAB et Octave
ανά: Quarteroni, Alfio
Έκδοση: (2010)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ανά: Bonanno, Giacomo
Έκδοση: (2010)

Basics of Fluid Mechanics and Introduction to Computational Fluid Dynamics
ανά: Petrila, Titus
Έκδοση: (2005)

Discrete Mathematics Using a Computer
ανά: OβDonnell, John
Έκδοση: (2006)

Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
ανά: Kaplan, Haim
Έκδοση: (2010)

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ανά: Fukuda, Komei
Έκδοση: (2010)

Computational Methods in Biometric Authentication Statistical Methods for Performance Evaluation
ανά: Schuckers, Michael E
Έκδοση: (2010)

Evolutionary Computation in Combinatorial Optimization 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
ανά: Cowling, Peter
Έκδοση: (2010)

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