Related Books
Language: en
Pages: 730
Pages: 730
Type: BOOK - Published: 2006-02-14 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised fu
Language: en
Pages: 779
Pages: 779
Type: BOOK - Published: 2007-08-15 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Ceský Kr
Language: en
Pages: 533
Pages: 533
Type: BOOK - Published: 2008-03-18 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS
Language: en
Pages: 730
Pages: 730
Type: BOOK - Published: 2010-08-10 - Publisher: Springer Science & Business Media
This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, C
Language: en
Pages: 751
Pages: 751
Type: BOOK - Published: 2008-06-24 - Publisher: Springer Science & Business Media
ICALP 2008, the 35th edition of the International Colloquium on Automata, Languages and Programming, was held in Reykjavik, Iceland, July 7–11, 2008. ICALP is
