Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

di Springer Berlin
Stato: Nuovo
57,43 €
IVA inclusa - Spedizione GRATUITA
Springer Berlin Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Springer Berlin - Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Ti piace questo prodotto? Condividilo con i tuoi amici!

57,43 € IVA inclusa
Solo 1 articolo rimasto Solo 2 articoli rimasti Più di 10 pezzi disponibili
Consegna: tra martedì 5 luglio 2022 e giovedì 7 luglio 2022
Vendita & spedizione: Dodax

Altre opzioni di acquisto

1 offerta a 58,90 €

Venduto da Dodax

58,90 € IVA inclusa
Stato: Nuovo
Spedizione gratuita
Consegna: tra martedì 5 luglio 2022 e giovedì 7 luglio 2022
Visualizza altre opzioni di acquisto

Descrizione

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.

Ulteriori informazioni

Illustrations Note:
XIV, 358 p. 78 illus.
Indice:
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.
Editore:
Konstantinidis, Stavros;Konstantinidis
Commenti:
Up-to-date results


Fast-track conference proceedings


State-of-the-art research

Tipo multimediale:
Copertina morbida
Editore:
Springer Berlin
Lingua:
Inglese
Edizione:
2013
Numero di Pagine:
358

Dati Principali

Tipologia prodotto:
Brossura
Data di pubblicazione:
19 luglio 2013
Dimensioni del collo:
0.24 x 0.152 x 0.02 m; 0.52 kg
GTIN:
09783642392733
DUIN:
U93IJJH3CNP
57,43 €
Utilizziamo i cookie sul nostro sito Web per rendere la tua visita più efficiente e più user-friendly. Per assicurarti di poter utilizzare tutte le funzioni presenti, fai clic su "accetta cookie". Per ulteriori informazioni, consulta la nostra Informativa sulla privacy.