Cargando…
Foundations of XML processing : the tree-automata approach /
"This is the first book that provides a solid theoretical account of the foundation of the popular data format XML. Part I establishes basic concepts, starting with schemas, tree automata and pattern matching, and concluding with static typechecking for XML as a highlight of the book. In Part I...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
2011.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn692197553 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 101213s2011 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d E7B |d OCLCQ |d B24X7 |d REDDC |d OCLCQ |d DEBSZ |d OCLCQ |d CAMBR |d SNK |d OCLCF |d Z5A |d OCLCQ |d YDX |d LIV |d COO |d OCLCQ |d K6U |d OCLCQ |d OCLCO |d UKAHL |d OCLCO |d OCLCQ | ||
| 019 | |a 691073697 |a 712995632 |a 765143691 |a 985186190 |a 985372586 |a 1058136853 | ||
| 020 | |a 9780511909566 |q (electronic bk.) | ||
| 020 | |a 051190956X |q (electronic bk.) | ||
| 020 | |a 0511906773 |q (electronic bk.) | ||
| 020 | |a 9780511906770 |q (electronic bk.) | ||
| 020 | |a 9780511904028 |q (electronic bk.) | ||
| 020 | |a 0511904029 |q (electronic bk.) | ||
| 020 | |a 9780511762093 |q (electronic bk.) | ||
| 020 | |a 0511762097 |q (electronic bk.) | ||
| 020 | |z 9780521196130 | ||
| 020 | |z 0521196132 | ||
| 029 | 1 | |a AU@ |b 000053263236 | |
| 029 | 1 | |a CHNEW |b 000608966 | |
| 029 | 1 | |a DEBSZ |b 372741517 | |
| 029 | 1 | |a NZ1 |b 15953034 | |
| 035 | |a (OCoLC)692197553 |z (OCoLC)691073697 |z (OCoLC)712995632 |z (OCoLC)765143691 |z (OCoLC)985186190 |z (OCoLC)985372586 |z (OCoLC)1058136853 | ||
| 050 | 4 | |a QA76.76.H94 |b H678 2011eb | |
| 072 | 7 | |a COM |x 051320 |2 bisacsh | |
| 072 | 7 | |a COM |x 051270 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.7/4 |2 22 |
| 084 | |a ST 250 |2 rvk | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Hosoya, Haruo, |d 1972- | |
| 245 | 1 | 0 | |a Foundations of XML processing : |b the tree-automata approach / |c Haruo Hosoya. |
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2011. | ||
| 300 | |a 1 online resource (xi, 226 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a "This is the first book that provides a solid theoretical account of the foundation of the popular data format XML. Part I establishes basic concepts, starting with schemas, tree automata and pattern matching, and concluding with static typechecking for XML as a highlight of the book. In Part II, the author turns his attention to more advanced topics, including efficient 'on-the-fly' tree automata algorithms, path- and logic-based queries, tree transformation, and exact typechecking. The author provides many examples of code fragments to illustrate features, and exercises to enhance understanding. Thus the book will be ideal for students and researchers whether just beginning, or experienced in XML research"-- |c Provided by publisher | ||
| 520 | |a "This is the first book to provide a solid theoretical account of the foundation of the popular data format XML. Part I establishes basic concepts, starting with schemas, tree automata, and pattern matching and concluding with static type checking for XML as a highlight of the book. In Part II the author turns his attention to more advanced topics, including efficient "on-the-fly" tree automata algorithms, path- and logic-based queries, tree transformation, and exact type checking. Many examples of code fragments illustrate XML features, and exercises are provided to enhance understanding. Thus the book should be very useful both for students and for XML researchers"-- |c Provided by publisher | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Introduction -- Preliminaries -- Schemas -- Tree automata -- Pattern matching -- Marking tree automata -- Typechecking -- On-the-fly algorithms -- Alternating tree automata -- Tree transducers -- Exact typechecking -- Path expressions and tree-walking automata -- Logic-based queries -- Ambiguity -- Unorderedness. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a XML (Document markup language) | |
| 650 | 0 | |a Machine theory. | |
| 650 | 6 | |a XML (Langage de balisage) | |
| 650 | 6 | |a Théorie des automates. | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x XML. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x HTML. |2 bisacsh | |
| 650 | 7 | |a Machine theory. |2 fast |0 (OCoLC)fst01004846 | |
| 650 | 7 | |a XML (Document markup language) |2 fast |0 (OCoLC)fst01181899 | |
| 650 | 7 | |a Baumautomat |2 gnd | |
| 650 | 7 | |a XML |2 gnd | |
| 650 | 7 | |a XML |x Algorithmus. |2 idsbb | |
| 650 | 7 | |a Algorithmus |x XML. |2 idsbb | |
| 776 | 0 | 8 | |i Print version: |a Hosoya, Haruo, 1972- |t Foundations of XML processing. |d Cambridge ; New York : Cambridge University Press, 2011 |z 9780521196130 |w (DLC) 2010030400 |w (OCoLC)639165913 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=335206 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH34201857 | ||
| 938 | |a Books 24x7 |b B247 |n bks00036776 | ||
| 938 | |a ebrary |b EBRY |n ebr10431408 | ||
| 938 | |a EBSCOhost |b EBSC |n 335206 | ||
| 938 | |a YBP Library Services |b YANK |n 3568447 | ||
| 938 | |a YBP Library Services |b YANK |n 3541830 | ||
| 938 | |a YBP Library Services |b YANK |n 3542483 | ||
| 938 | |a YBP Library Services |b YANK |n 11970829 | ||
| 994 | |a 92 |b IZTAP | ||