Limits of Computation From a Programming Perspective /

Limits of Computation From a Programming Perspective /

This textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in the field of computability and time complexity, including the Halting Problem, Rice's Theorem,...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Reus, Bernhard (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Έκδοση:	1st ed. 2016.
Σειρά:	Undergraduate Topics in Computer Science,
Θέματα:	Computer science. Algorithms. Computer Science. Algorithm Analysis and Problem Complexity. Mathematics of Algorithmic Complexity.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /
Έκδοση: (2014)

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer /
ανά: Jenkyns, Tom, κ.ά.
Έκδοση: (2013)

Matters Computational Ideas, Algorithms, Source Code /
ανά: Arndt, Jörg
Έκδοση: (2011)

WALCOM: Algorithms and Computation 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29–31, 2017, Proceedings /
Έκδοση: (2017)

Computational Complexity of Solving Equation Systems
ανά: Broniek, Przemysław
Έκδοση: (2015)

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
Έκδοση: (2015)

Frontiers in Algorithmics 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014. Proceedings /
Έκδοση: (2014)

Sparse Grids and Applications - Stuttgart 2014
Έκδοση: (2016)

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

Computer Algebra and Polynomials Applications of Algebra and Number Theory /
Έκδοση: (2015)

Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers /
Έκδοση: (2013)

Computability of Julia Sets
ανά: Braverman, Mark, κ.ά.
Έκδοση: (2009)

Parameterized Algorithms
ανά: Cygan, Marek, κ.ά.
Έκδοση: (2015)

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications /
Έκδοση: (2017)

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

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /
ανά: Mogavero, Fabio
Έκδοση: (2013)

Approximation and Online Algorithms 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers /
Έκδοση: (2015)

Approximation and Online Algorithms 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers /
Έκδοση: (2014)

Computability and Complexity Theory
ανά: Homer, Steven, κ.ά.
Έκδοση: (2011)

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II /
Έκδοση: (2012)

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I /
Έκδοση: (2012)

Multimodal Optimization by Means of Evolutionary Algorithms
ανά: Preuss, Mike
Έκδοση: (2015)

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Έκδοση: (2017)

Verification of Sequential and Concurrent Programs
ανά: Apt, Krzysztof R., κ.ά.
Έκδοση: (2009)

Random-Like Bi-level Decision Making
ανά: Xu, Jiuping, κ.ά.
Έκδοση: (2016)

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

Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings /
Έκδοση: (2014)

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)

Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings /
Έκδοση: (2015)

Graph Drawing 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers /
Έκδοση: (2014)

Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing /
Έκδοση: (2010)

Distributed Graph Algorithms for Computer Networks
ανά: Erciyes, K.
Έκδοση: (2013)

Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005. Proceedings /
Έκδοση: (2005)

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers /
Έκδοση: (2013)

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings /
Έκδοση: (2008)

Graph-Theoretic Concepts in Computer Science 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers /
Έκδοση: (2014)

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

Algorithms for Sensor Systems 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers /
Έκδοση: (2014)

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