The Foundations of Computability Theory

The Foundations of Computability Theory

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theo...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Robič, Borut (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Έκδοση:	1st ed. 2015.
Θέματα:	Computer science. Computers. Computer science > Mathematics. Computer mathematics. Computer Science. Theory of Computation. Mathematics of Computing. Computational Mathematics and Numerical Analysis.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Extremal Combinatorics With Applications in Computer Science /
ανά: Jukna, Stasys
Έκδοση: (2011)

Theory Is Forever Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /
Έκδοση: (2004)

Elementary Functions Algorithms and Implementation /
ανά: Muller, Jean-Michel
Έκδοση: (2006)

Frontiers of Numerical Analysis
Έκδοση: (2005)

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

Sets, Logic and Maths for Computing
ανά: Makinson, David
Έκδοση: (2008)

Algorithms and Computation 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings /
Έκδοση: (2008)

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)

Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration
Έκδοση: (2009)

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

Theory of Fuzzy Computation
ανά: Syropoulos, Apostolos
Έκδοση: (2014)

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings /
Έκδοση: (2008)

Algorithms and Computation 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings /
Έκδοση: (2007)

Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006 /
Έκδοση: (2008)

Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004. Proceedings /
Έκδοση: (2005)

Adaptive Mesh Refinement - Theory and Applications Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3–5, 2003 /
Έκδοση: (2005)

Algorithms and Computation 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings /
Έκδοση: (2005)

Computational Science and Its Applications – ICCSA 2004 International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I /
Έκδοση: (2004)

Computational Science and Its Applications – ICCSA 2004 International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV /
Έκδοση: (2004)

Theoretical Computer Science Essays in Memory of Shimon Even /
Έκδοση: (2006)

Building Bridges Between Mathematics and Computer Science /
Έκδοση: (2008)

Introduction to Bayesian Scientific Computing Ten Lectures on Subjective Computing /
ανά: Calvetti, Daniela, κ.ά.
Έκδοση: (2007)

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers /
Έκδοση: (2007)

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers /
Έκδοση: (2005)

Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers /
Έκδοση: (2005)

Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space
ανά: Ahn, Sung Joon
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV /
Έκδοση: (2004)

Encyclopedia of Algorithms
Έκδοση: (2016)

Encyclopedia of Algorithms
Έκδοση: (2008)

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

Evolutionary Computation in Combinatorial Optimization 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /
Έκδοση: (2006)

Evolutionary Computation in Combinatorial Optimization 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings /
Έκδοση: (2008)

Evolutionary Computation in Combinatorial Optimization 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings /
Έκδοση: (2005)

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
Έκδοση: (2014)

Open Problems in Mathematics and Computational Science
Έκδοση: (2014)

Matrix Algebra Theory, Computations, and Applications in Statistics /
ανά: Gentle, James E.
Έκδοση: (2007)

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