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ț: 33885 lei

Preț vechi: 42356 lei
-20%

Puncte Express: 508

Carte tipărită la comandă

Livrare economică 15-29 octombrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

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