Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Published on 26. July 2012
Book
Paperback/Softback
XIII, 369 pages
978-3-642-31605-0 (ISBN)
Description
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.
More details
Series
Edition
2012 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
76 s/w Abbildungen
XIII, 369 p. 76 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 21 mm
Weight
581 gr
ISBN-13
978-3-642-31605-0 (9783642316050)
DOI
10.1007/978-3-642-31606-7
Schweitzer Classification
Other editions
Additional editions
Nelma Moreira | Rogério Reis
Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
E-Book
08/2012
Springer
€53.49
Available for download