Cantitate/Preț
Produs

Implementation and Application of Automata

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

Preț: 32583 lei

Preț vechi: 40729 lei
-20%

Puncte Express: 489

Preț estimativ în valută:
5762 6607$ 4980£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai


Specificații

ISBN-13: 9783642392733
ISBN-10: 3642392733
Pagini: 372
Ilustrații: XIV, 358 p. 78 illus.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.56 kg
Ediția:2013
Editura: Springer
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