Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Carayol, Arnaud. (Editor ), Nicaud, Cyril. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10329
Materias:
Acceso en línea:https://doi.org/10.1007/978-3-319-60134-2
LEADER 01834nam a22004215i 4500
001 978-3-319-60134-2
005 20191027162442.0
007 cr nn 008mamaa
008 170527s2017 gw | s |||| 0|eng d
020 |a 9783319601342 
024 7 |a 10.1007/978-3-319-60134-2  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Implementation and Application of Automata  |b 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings /  |c edited by Arnaud Carayol, Cyril Nicaud. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XX, 213 p. 32 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Theoretical Computer Science and General Issues ;  |v 10329 
505 0 |a State complexity of automata -- Implementations of automata and experiments -- Enhanced regular expressions -- Complexity analysis. 
650 0 |a Computer logic. 
650 0 |a Mathematical logic. 
650 0 |a Data structures (Computer science). 
650 0 |a Information storage and retrieval. 
650 0 |a Natural language processing (Computer science). 
650 0 |a Software engineering. 
650 1 4 |a Logics and Meanings of Programs. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Data Structures. 
650 2 4 |a Information Storage and Retrieval. 
650 2 4 |a Natural Language Processing (NLP). 
650 2 4 |a Software Engineering/Programming and Operating Systems. 
700 1 |a Carayol, Arnaud.  |e editor. 
700 1 |a Nicaud, Cyril.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
856 4 0 |u https://doi.org/10.1007/978-3-319-60134-2