Implementation and application of automata [electronic resource] : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings / Frank Drewes (Ed.).
2015
QA267 .I46 2015eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Implementation and application of automata [electronic resource] : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings / Frank Drewes (Ed.).
Meeting Name
ISBN
9783319223605 electronic book
3319223607 electronic book
9783319223599
3319223593
3319223607 electronic book
9783319223599
3319223593
Published
Cham : Springer, [2015]
Copyright
©2015
Language
English
Description
1 online resource (xxiii, 316 pages) : illustrations.
Call Number
QA267 .I46 2015eb
Dewey Decimal Classification
621.39
Summary
This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.
Note
Includes author index.
International conference proceedings.
International conference proceedings.
Access Note
Access limited to authorized users.
Added Author
Series
Lecture notes in computer science ; 9223.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in