Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ambos-Spies, Klaus (Editor), Löwe, Benedikt (Editor), Merkle, Wolfgang (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Series: Lecture Notes in Computer Science, 5635
• Subjects: Computer science.; Computers.; Algorithms.; Computer science > Mathematics.; Bioinformatics.; Computer Science.; Theory of Computation.; Mathematics of Computing.; Algorithm Analysis and Problem Complexity.; Computing Methodologies.; Computational Biology/Bioinformatics.
• Physical Description: XIV, 510 p. online resource.
• ISBN: 9783642030734
• ISSN: 0302-9743 ;

This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.