Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Leucker, Martin (Editor), Morgan, Carroll (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Series: Lecture Notes in Computer Science, 5684
• Subjects: Computer science.; Software engineering.; Computer programming.; Computers.; Algorithms.; Computer Science.; Programming Techniques.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Software Engineering.

This book constitutes the refereed proceedings of the 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009 held in Kuala Lumpur, Malaysia, in August 2009. The 17 revised full papers and 3 revised papers presented with 4 invited lectures were carefully reviewed and selected fr...