Related Books

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

DOWNLOAD 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:

DOWNLOAD EBOOK

Algorithms and Complexity
Language: en
Pages: 300
Authors: Rosella Petreschi
Categories: Computers
Type: BOOK - Published: 2003-05-15 - Publisher: Springer Science & Business Media

DOWNLOAD 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 r
Automata, Languages and Programming
Language: en
Pages: 597
Authors: Susanne Albers
Categories: Computers
Type: BOOK - Published: 2009-07-06 - Publisher: Springer Science & Business Media

DOWNLOAD 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
Formal Modeling and Analysis of Timed Systems
Language: en
Pages: 305
Authors: Franck Cassez
Categories: Computers
Type: BOOK - Published: 2008-08-30 - Publisher: Springer

DOWNLOAD 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