Computability and Complexity Theory

Computability and Complexity Theory

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations. Subsequent chapters mov...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Homer, Steven (Συγγραφέας), Selman, Alan L. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US : Imprint: Springer, 2011.
Έκδοση:	2.
Σειρά:	Texts in Computer Science,
Θέματα:	Computer science. Computers. Algorithms. Computer Science. Theory of Computation. Algorithm Analysis and Problem Complexity.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Theory of Computation
ανά: Kozen, Dexter C.
Έκδοση: (2006)

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
Έκδοση: (2014)

Unconventional Computation 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings /
Έκδοση: (2006)

Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings /
Έκδοση: (2005)

Computational Complexity Theory, Techniques, and Applications /
Έκδοση: (2012)

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings /
Έκδοση: (2009)

Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
Έκδοση: (2007)

Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings /
Έκδοση: (2008)

Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings /
Έκδοση: (2006)

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings /
Έκδοση: (2006)

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
Έκδοση: (2007)

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings /
Έκδοση: (2005)

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings /
Έκδοση: (2007)

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings /
Έκδοση: (2006)

Fundamentals of Parameterized Complexity
ανά: Downey, Rodney G., κ.ά.
Έκδοση: (2013)

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

Hypercomputation Computing Beyond the Church-Turing Barrier /
ανά: Syropoulos, Apostolos
Έκδοση: (2008)

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings /
Έκδοση: (2008)

Structure in Complex Networks
ανά: Reichardt, J.
Έκδοση: (2009)

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
Έκδοση: (2009)

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

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

Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers /
Έκδοση: (2011)

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers /
Έκδοση: (2013)

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
Έκδοση: (2008)

Genetic Programming Theory and Practice VIII
Έκδοση: (2011)

Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings /
Έκδοση: (2012)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /
Έκδοση: (2005)

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
Έκδοση: (2007)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004. Proceedings /
Έκδοση: (2004)

Computational Geometry Algorithms and Applications /
ανά: Berg, Mark de, κ.ά.
Έκδοση: (2008)

Limits of Computation From a Programming Perspective /
ανά: Reus, Bernhard
Έκδοση: (2016)

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /
Έκδοση: (2007)

Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings /
Έκδοση: (2009)

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers /
Έκδοση: (2012)

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

Unconventional Computing 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings /
Έκδοση: (2008)

Complexity Theory Exploring the Limits of Efficient Algorithms /
ανά: Wegener, Ingo
Έκδοση: (2005)

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /
Έκδοση: (2011)

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