Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industri

Advanced Topics in Database Research features the latest, cutting-edge research findings dealing with all aspects of database management, systems analysis and d

When you think about how far and fast computer science has progressed in recent years, it's not hard to conclude that a seven-year old handbook may fall a littl

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revi