Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Robič, Borut (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Edición:	1st ed. 2015.
Temas:	Computer science. Computer science-Mathematics. Mathematics-Data processing. Theory of Computation. Mathematics of Computing. Computational Mathematics and Numerical Analysis.
Acceso en línea:	Texto Completo

Ejemplares similares

Theory of Computation
por: Kozen, Dexter C.
Publicado: (2006)

Notes on Introductory Combinatorics
por: Pólya, George, et al.
Publicado: (2010)

An Introduction to Bayesian Scientific Computing Ten Lectures on Subjective Computing /
por: Calvetti, Daniela, et al.
Publicado: (2007)

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers /
Publicado: (2007)

Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers /
Publicado: (2005)

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004, Revised Papers /
Publicado: (2005)

Frontiers of Numerical Analysis Durham 2004 /
Publicado: (2005)

Elementary Functions Algorithms and Implementation /
por: Muller, Jean-Michel
Publicado: (2006)

Extremal Combinatorics With Applications in Computer Science /
por: Jukna, Stasys
Publicado: (2011)

Theoretical Computer Science Essays in Memory of Shimon Even /
Publicado: (2006)

Sets, Logic and Maths for Computing
por: Makinson, David
Publicado: (2008)

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications /
por: Brewer, Kevin, et al.
Publicado: (2016)

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /
Publicado: (2006)

Evolutionary Computation in Combinatorial Optimization 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, Proceedings /
Publicado: (2008)

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /
Publicado: (2007)

Evolutionary Computation in Combinatorial Optimization 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings /
Publicado: (2006)

Evolutionary Computation in Combinatorial Optimization 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings /
Publicado: (2005)

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers /
Publicado: (2012)

Evolutionary Computation in Combinatorial Optimization 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings /
Publicado: (2009)

Algorithms and Computation 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings /
Publicado: (2007)

Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings /
Publicado: (2005)

Algorithms and Computation 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings /
Publicado: (2005)

Encyclopedia of Algorithms
Publicado: (2016)

Encyclopedia of Algorithms
Publicado: (2008)

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
Publicado: (2014)

Algorithms and Computation 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings /
Publicado: (2008)

Computational Statistics
por: Gentle, James E.
Publicado: (2009)

Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers /
Publicado: (2007)

Mathematics and Computation, a Contemporary View The Abel Symposium 2006 /
Publicado: (2008)

Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers /
Publicado: (2006)

Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers /
Publicado: (2006)

Theory of Fuzzy Computation
por: Syropoulos, Apostolos
Publicado: (2014)

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /
Publicado: (2007)

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings /
Publicado: (2013)

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /
Publicado: (2012)

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
Publicado: (2015)

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
Publicado: (2015)

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II /
Publicado: (2014)

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I /
Publicado: (2014)

Advanced Computing
Publicado: (2013)