Implementation and application of automata : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings / Arnaud Carayol, Cyril Nicaud (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 10329. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham, Switzerland : Springer, 2017Description: 1 online resource (xx, 213 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783319601342
- 3319601342
- 9783319601359
- 3319601350
- CIAA 217
- Machine theory -- Congresses
- Robotics -- Congresses
- Théorie des automates -- Congrès
- Robotique -- Congrès
- Mathematical theory of computation
- Algorithms & data structures
- Information retrieval
- Natural language & machine translation
- Software Engineering
- Computer programming -- software development
- Mathematics -- Logic
- Computers -- Data Modeling & Design
- Computers -- System Administration -- Storage & Retrieval
- Computers -- Speech & Audio Processing
- Computers -- Software Development & Engineering -- General
- Computers -- Programming -- General
- Machine theory
- Robotics
- 006.3 23
- QA267 .C53 2017eb
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes bibliographical references and author index.
Online resource; title from PDF title page (SpringerLink, viewed June 29, 2017).
State complexity of automata -- Implementations of automata and experiments -- Enhanced regular expressions -- Complexity analysis.
This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the presented papers include state complexity of automata; implementations of automata and experiments; enhanced regular expressions; and complexity analysis.