Related Books
Language: en
Pages: 406
Pages: 406
Type: BOOK - Published: 2008-03-28 - Publisher: Springer Science & Business Media
The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th In
Language: en
Pages: 443
Pages: 443
Type: BOOK - Published: 2006-08-17 - Publisher: Springer Science & Business Media
The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, and the 4th Int
Language: en
Pages: 291
Pages: 291
Type: BOOK - Published: 2004-06-01 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd Inter
Language: en
Pages: 401
Pages: 401
Type: BOOK - Published: 2015-09-24 - Publisher: Springer
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga,
Language: en
Pages: 651
Pages: 651
Type: BOOK - Published: 2009-08-17 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2
