Cantitate/Preț
Produs

Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings: Lecture Notes in Computer Science, cartea 7982

Editat de Stavros Konstantinidis
en Limba Engleză Paperback – 19 iul 2013
This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32944 lei

Preț vechi: 41180 lei
-20% Nou

Puncte Express: 494

Preț estimativ în valută:
6307 6556$ 5229£

Carte tipărită la comandă

Livrare economică 06-20 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642392733
ISBN-10: 3642392733
Pagini: 372
Ilustrații: XIV, 358 p. 78 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.52 kg
Ediția:2013
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Complexity of automata.- Compressed automata.- Counter automata.- Dictionary matching.- Edit distance.- Homing sequences.- Implementation.- Minimization of automata.- Model checking.- Parsing of regular expressions.- Partial word automata.- Picture languages.- Pushdown automata.- Queue automata.- Reachability analysis for software verification.- Restarting automata.- Transducers.- Tree automata.- Weighted automata.- XML streams.

Textul de pe ultima copertă

This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.

Caracteristici

Up-to-date results Fast-track conference proceedings State-of-the-art research