STACS 2002

STACS 2002
Author: Helmut Alt
Publisher: Springer
Total Pages: 673
Release: 2003-08-03
Genre: Computers
ISBN: 3540458417
GET BOOK

Download STACS 2002 Book in PDF, Epub and Kindle

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
Language: en
Pages: 673

STACS 2002

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

Stacs 2002

Authors: Helmut Alt
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

GET EBOOK

Automata, Languages and Programming
Language: en
Pages: 597

Automata, Languages and Programming

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
Formal Modeling and Analysis of Timed Systems
Language: en
Pages: 305

Formal Modeling and Analysis of Timed Systems

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
Theory and Applications of Satisfiability Testing
Language: en
Pages: 405

Theory and Applications of Satisfiability Testing

Authors: Holger H. Hoos
Categories: Computers
Type: BOOK - Published: 2005-07-08 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vanco