Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings (Theoretical Computer Science and General Issues) - Softcover

 
9783642316050: Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings (Theoretical Computer Science and General Issues)
Softcover
ISBN 10: 3642316050 ISBN 13: 9783642316050
Publisher: Springer, 2012

Synopsis

This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory.

"synopsis" may belong to another edition of this title.

From the Back Cover

This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2012
Language
English
ISBN 10 
3642316050
ISBN 13 
9783642316050
Binding
Paperback
Number of pages
382
Editor
Moreira Nelma, Reis Rogério