STACS 2002

STACS 2002
Author :
Publisher : Springer
Total Pages : 673
Release :
ISBN-10 : 9783540458418
ISBN-13 : 3540458417
Rating : 4/5 (18 Downloads)

Book Synopsis STACS 2002 by : Helmut Alt

Download or read book STACS 2002 written by Helmut Alt and published by Springer. This book was released on 2003-08-03 with total page 673 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2002, held in Antibes - Juan les Pins, France, in March 2002. The 50 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 209 submissions. The book offers topical sections on algorithms, current challenges, computational and structural complexity, automata and formal languages, and logic in computer science.


STACS 2002 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
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
Hybrid Systems: Computation and Control
Language: en
Pages: 692
Authors: Magnus Egerstedt
Categories: Computers
Type: BOOK - Published: 2008-04-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Hybrid Systems: Computation and Control, HSCC 2008, held in St. Louis, MO
Theory and Applications of Satisfiability Testing
Language: en
Pages: 405
Authors: Holger H. Hoos
Categories: Computers
Type: BOOK - Published: 2005-07-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vanco
Parameterized and Exact Computation
Language: en
Pages: 235
Authors: Martin Grohe
Categories: Computers
Type: BOOK - Published: 2008-04-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, IWPEC 2008, held in Victoria, Canada,