|
|
|
|
| LEADER |
03040nam a22005895i 4500 |
| 001 |
978-3-319-53733-7 |
| 003 |
DE-He213 |
| 005 |
20170215130337.0 |
| 007 |
cr nn 008mamaa |
| 008 |
170215s2017 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319537337
|9 978-3-319-53733-7
|
| 024 |
7 |
|
|a 10.1007/978-3-319-53733-7
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA75.5-76.95
|
| 072 |
|
7 |
|a UYZG
|2 bicssc
|
| 072 |
|
7 |
|a COM037000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 004.0151
|2 23
|
| 245 |
1 |
0 |
|a Language and Automata Theory and Applications
|h [electronic resource] :
|b 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings /
|c edited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2017.
|
| 300 |
|
|
|a XXIII, 462 p. 59 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
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 10168
|
| 505 |
0 |
|
|a Algorithmic learning and semantics -- Automata and logics -- Combinatorics on words, compression, and pattern matching -- Complexity -- Finite automata -- Grammars, languages, and parsing -- Graphs and Petri Nets -- Non-classical automata -- Pushdown automata and systems.
|
| 520 |
|
|
|a This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown automata and systems.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Computers.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 650 |
|
0 |
|a Database management.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Computation by Abstract Devices.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Database Management.
|
| 650 |
2 |
4 |
|a Programming Techniques.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 700 |
1 |
|
|a Drewes, Frank.
|e editor.
|
| 700 |
1 |
|
|a Martín-Vide, Carlos.
|e editor.
|
| 700 |
1 |
|
|a Truthe, Bianca.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319537320
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 10168
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-53733-7
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
