STACS 2002
Language: en
Pages: 673
Authors: Helmut Alt
Categories: Computers
Type: BOOK - Published: 2003-08-03 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2002, held in Antibes - Juan les P
Stacs 2002
Language: en
Pages: 680
Authors: Helmut Alt
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

GET EBOOK

Formal Modeling and Analysis of Timed Systems
Language: en
Pages: 305
Authors: Franck Cassez
Categories: Computers
Type: BOOK - Published: 2008-08-30 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint
Automata, Languages and Programming
Language: en
Pages: 597
Authors: Susanne Albers
Categories: Computers
Type: BOOK - Published: 2009-07-06 - Publisher: Springer Science & Business Media

GET EBOOK

ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6–10, 2009. ICALP
Algorithms and Complexity
Language: en
Pages: 300
Authors: Rosella Petreschi
Categories: Mathematics
Type: BOOK - Published: 2003-08-03 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 5th Italian Conference on Algorithms and Computation, CIAC 2003, held in Rome, Italy in May 2003.The 23 re