Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
tarafından
Carayol, Arnaud. editor.
Başlık
:
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Yazar
:
Carayol, Arnaud. editor.
ISBN
:
9783319601342
Edisyon
:
1st ed. 2017.
Fiziksel Niteleme
:
XX, 213 p. 32 illus. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 10329
İçindekiler
:
State complexity of automata -- Implementations of automata and experiments -- Enhanced regular expressions -- Complexity analysis.
Özet
:
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.
Konu Başlığı
:
Logic design.
Computer science.
Data structures (Computer scienc.
Information storage and retrieval systems.
Natural language processing (Computer science).
Software engineering.
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
Data Structures. http://scigraph.springernature.com/things/product-market-codes/I15017
Information Storage and Retrieval. http://scigraph.springernature.com/things/product-market-codes/I18032
Natural Language Processing (NLP). http://scigraph.springernature.com/things/product-market-codes/I21040
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things/product-market-codes/I14002
Yazar Ek Girişi
:
Carayol, Arnaud.
Nicaud, Cyril.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 225436-1001 | QA76.9 .L63 | Springer E-Book Collection |