Implementation and Application of Automata (Record no. 188251)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05135nam a22006255i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-45089-4 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132501.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121227s2003 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540450894 |
| -- | 978-3-540-45089-4 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/3-540-45089-0 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | Q334-342 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TA347.A78 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM004000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.3 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Implementation and Application of Automata |
| Medium | [electronic resource] : |
| Remainder of title | 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings / |
| Statement of responsibility, etc | edited by Oscar H. Ibarra, Zhe Dang. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2003. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2003. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XI, 312 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 2759 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Lectures -- Automata for Specifying Component Interfaces -- Automata on Words -- Regular Papers -- Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications -- Timing Parameter Characterization of Real-Time Systems -- Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata -- From Regular Weighted Expressions to Finite Automata -- Bideterministic Automata and Minimal Representations of Regular Languages -- Succinct Descriptions of Regular Languages with Binary ?-NFAs -- An Efficient Pre-determinization Algorithm -- Introducing Vaucanson -- WFSC — A New Weighted Finite State Compiler -- Ternary Directed Acyclic Word Graphs -- Running Time Complexity of Printing an Acyclic Automaton -- Reducing the Time Complexity of Testing for Local Threshold Testability -- Branching Automata with Costs — A Way of Reflecting Parallelism in Costs -- New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations -- TCTL Inevitability Analysis of Dense-Time Systems -- Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services -- Boolean Operations for Attribute-Element Constraints -- XML Schema Containment Checking Based on Semi-implicit Techniques -- Weak Minimization of DFA — An Algorithm and Applications -- Bag Automata and Stochastic Retrieval of Biomolecules in Solution -- An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics -- Robust Parsing Using Dynamic Programming -- LR Parsing for Global Index Languages (GILs) -- The Ehrenfeucht-Mycielski Sequence -- Poster Paper -- The Longest Common Subsequence Problem A Finite Automata Approach -- AVA: An Applet for Visualizing FRACTRAN and OtherAutomata -- Preliminary Experiments in Hardcoding Finite Automata -- Computational Linguistic Motivations for a Finite-State Machine Hierarchy -- The Effect of Rewriting Regular Expressions on Their Accepting Automata -- Building Context-Sensitive Parsers from CF Grammars with Regular Control Language -- Finite-State Molecular Computing. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures. This volume contains 24 regular papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003) held in Santa Barbara, CA, USA, in July 2003 covering various topics in the theory, implementation, and application of automata and related structures. It also includes the abstracts of two invited lectures as well as the abstracts of the poster papers displayed during the conference. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Algorithms. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial Intelligence. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Theory of Computation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Algorithms. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ibarra, Oscar H. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Dang, Zhe. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540405610 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662183458 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 2759 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/3-540-45089-0">https://doi.org/10.1007/3-540-45089-0</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.