Descripción del título
How the World Computes [Tur...
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing
Monografía
monografia Rebiun08836669 https://catalogo.rebiun.org/rebiun/record/Rebiun08836669 120528s2012 gw | s |||| 0|eng d 9783642308703 978-3-642-30870-3 9783642308697 ed. impresa) UPVA 990004451370203706 UMA.RE Cooper, S. Barry How the World Computes Recurso electrónico] Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings edited by S. Barry Cooper, Anuj Dawar, Benedikt Lwe Servicio en línea Berlin, Heidelberg Springer Berlin Heidelberg 2012 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg XVIII, 756p. 42 illus. digital XVIII, 756p. 42 illus. Lecture Notes in Computer Science 0302-9743 7318 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing Modo de acceso: World Wide Web Springer (CS) Computer science Computer software Computational complexity Algebra- Data processing Logic, Symbolic and mathematical Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Mathematical Logic and Foundations Dawar, Anuj Lwe, Benedikt SpringerLink (Online service) Lecture notes in computer science (Servicio en línea) SpringerLink eBooks (Servicio en línea) Springer eBooks Springer eBooks