
Conte aos seus amigos sobre este item:
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, Cie 2006, Swansea, Uk, June 30-july 5, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Arnold Beckmann
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, Cie 2006, Swansea, Uk, June 30-july 5, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Arnold Beckmann
Constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. This book covers proofs and computation, computable analysis, challenges in complexity, foundations of programming, and mathematical models of computers and hypercomputers.
632 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 26 de junho de 2006 |
ISBN13 | 9783540354666 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 632 |
Dimensões | 156 × 234 × 32 mm · 870 g |
Idioma | German |