Handbook of finite state based models and applications / (Record no. 423342)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02878cam a2200325 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | CAH00K12067000 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | FlBoTFG |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20170124152729.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 120823s2013 fluad b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 2012025781 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781439846186 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | |
| Language of cataloging | eng |
| Transcribing agency | DLC |
| Modifying agency | DLC |
| -- | FlBoTFG |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.A43 |
| Item number | H364 2013 |
| 092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) | |
| Classification number | 511.35 |
| Item number | H236 |
| 245 00 - TITLE STATEMENT | |
| Title | Handbook of finite state based models and applications / |
| Statement of responsibility, etc | edited by Jiacun Wang. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Boca Raton : |
| Name of publisher, distributor, etc | CRC Press, |
| Date of publication, distribution, etc | 2013. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xii, 397 p. : |
| Other physical details | ill. ; |
| Dimensions | 26 cm. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Discrete mathematics and its applications |
| 500 ## - GENERAL NOTE | |
| General note | "A Chapman & Hall book." |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1. Finite automata / Rana Barua and Kishan Chand Gupta -- 2. Large-scale regular expression matching on FPGA / Yi-Hua E. Yang and Viktor K. Prasanna -- 3. Finite state transducers / Javier Baliosian and Dina Wonsever -- 4. Tree automata / Olivier Gauwin -- 5. Timed automata / Jun Sun, Yang Liu, and Jin Song Dong -- 6. Quantum finite automata / Daowen Qiu ... [et al.] -- 7. Finite automata minimization / Marco Almeida, Nelma Moreira, and Rog�erio Reis -- 8. Incremental construction of finite-state automata / Jan Daciuk -- 9. Esterel and the semantics of causality / Mohammad Reza Mousavi -- 10. Regular path queries on graph-structured data / Alex Thomo and S. Venkatesh -- 11. Applying timed automata to model checking of security protocols / Miros�aw Kurkowski and Wojciech Penczek -- 12. Optimal adaptive pattern-matching using finite state automata / Nadia Nedjah and Luiza de Macedo Mourelle -- 13. Finite state automata in compilers / Yang Zhao -- 14. Finite state models for XML processing / Murali Mani -- 15. Petri nets / Jiacun Wang -- 16. Statecharts / Hanlin Lu and Sheng Yu -- 17. Model checking / Zhenhua Duan and Cong Tian -- 18. System modeling with UML state machines / Omar El Ariss and Dianxiang Xu. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | "This handbook presents a collection of introductory materials on finite state theories and their applications. It offers an open treatment of the types of algorithms and data structures that are typically retained quietly by companies and provides performance information regarding individual techniques for various domain areas. A complete reference on finite state-based models and their applications, the book can be used by beginners as a quick reference guide and by researchers for an in-depth study of this area"-- |
| -- | Provided by publisher. |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Also available as an electronic resource. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer algorithms. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer progamming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Sequential machine theory. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wang, Jiacun, |
| Relator term | editor of compilation. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Discrete mathematics and its applications. |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| a | 001 and 003 modified with TFG record number on 2012/12/26 |
No items available.
