Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Theoretical Computer Science and General Issues

Implementation and Application of Automata

12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers

Editors: Holub, Jan, Ždárek, Jan (Eds.)

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-76336-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-76335-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16–18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference. The proceedings also include the abstracts and extended abstracts offourinvitedlecturespresentedbyGheorghePau ? n,MichaelRiley,MosheVardi, and Bruce W. Watson. The 23 regular papers and 7 poster papers were selected from 79 submitted papers covering various topics in the theory, implementation, and application of automataandrelatedstructures.Eachsubmitted paper wasreviewedbyatleast threeProgramCommitteemembers,with the assistanceofreferees.Theauthors of the papers presented here come from the following countries: Canada, Czech Republic, Denmark, Finland, France, Germany, Greece, Israel, Italy, Poland, Romania, Russia, South Africa, Spain, Sweden, UK, and USA. We wish to thank all those who made this meeting possible: the authors for submitting papers, the Program Committee members and external referees (listed on pages VII and VIII) for their excellent work, and last but not least our four invited speakers. Finally, we wish to express our sincere appreciation to the sponsors and local organizers.

Table of contents (34 chapters)

  • Spiking Neural P Systems Used as Acceptors and Transducers

    Păun, Gheorghe

    Pages 1-4

    Preview Buy Chapter 30,19 €
  • Linear-Time Model Checking: Automata Theory in Practice

    Vardi, Moshe Y.

    Pages 5-10

    Preview Buy Chapter 30,19 €
  • OpenFst: A General and Efficient Weighted Finite-State Transducer Library

    Allauzen, Cyril (et al.)

    Pages 11-23

    Preview Buy Chapter 30,19 €
  • Automata Applications in Chip-Design Software

    Watson, Bruce W.

    Pages 24-26

    Preview Buy Chapter 30,19 €
  • Synchronizing Automata Preserving a Chain of Partial Orders

    Volkov, Mikhail V.

    Pages 27-37

    Preview Buy Chapter 30,19 €

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-76336-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-76335-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Implementation and Application of Automata
Book Subtitle
12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers
Editors
  • Jan Holub
  • Jan Ždárek
Series Title
Theoretical Computer Science and General Issues
Series Volume
4783
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-76336-9
DOI
10.1007/978-3-540-76336-9
Softcover ISBN
978-3-540-76335-2
Edition Number
1
Number of Pages
XIII, 326
Topics