MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02712nam a2200265 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
vtls000056406 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
KUKTEM |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20251125093011.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
111130t2011 enk f 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780521196130 |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
|---|
| Level of rules in bibliographic description |
201205141214 |
| Level of effort used to assign nonsubject heading access points |
asmadi |
| -- |
201111301255 |
| -- |
irma |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
UMP |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) |
|---|
| Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) |
QA76.76.H94 H67 2011 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hosoya, Haruo |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Foundations of XML processing : |
| Remainder of title |
the tree-automata approach / |
| Statement of responsibility, etc. |
Haruo Hosoya |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cambridge : |
| Name of publisher, distributor, etc. |
Cambridge University Press, |
| Date of publication, distribution, etc. |
2011 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xi, 226 p. : |
| Other physical details |
ill. ; |
| Dimensions |
26 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references (p. 218-222) and index |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Machine generated contents note: Preface; 1. Introduction; 2. Preliminaries; 3. Schemas; 4. Tree automata; 5. Pattern matching; 6. Marking tree automata; 7. Typechecking; 8. On-the-fly algorithms; 9. Alternating tree automata; 10. Tree transducers; 11. Exact typechecking; 12. Path expressions and tree-walking automata; 13. Logic-based queries; 14. Ambiguity; 15. Unorderedness; References; Index |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"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"-- |
| Assigning source |
Provided by publisher |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"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"-- |
| Assigning source |
Provided by publisher |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
XML (Document markup language) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Machine theory |