SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Nielsen, Mogens (Editor), Kučera, Antonín (Editor), Miltersen, Peter Bro (Editor), Palamidessi, Catuscia (Editor), Tůma, Petr (Editor), Valencia, Frank (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Series: Lecture Notes in Computer Science, 5404
• Subjects: Computer science.; Computer system failures.; Computer programming.; Computers.; Database management.; Data mining.; Information storage and retrieval.; Computer Science.; Theory of Computation.; Database Management.; Programming Techniques.; System Performance and Evaluation.; Data Mining and Knowledge Discovery.; Information Storage and Retrieval.
• Physical Description: XVII, 670 p. online resource.
• ISBN: 9783540958918
• ISSN: 0302-9743 ;

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.