|  |
| |
| Artikel-Nr.:
858A-9783319628080 Herst.-Nr.:
9783319628080 EAN/GTIN:
9783319628080 |
| |
|
| | |
| 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings Weitere Informationen: | | Author: | Émilie Charlier; Julien Leroy; Michel Rigo | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Programmieren / Allgemeines, Formal languages and automata theory, Grammars and context-free languages, Tree languages, Transducers, Regular languages, Complexity theory and logic, Logic and verification, Proof theory, Modal and temporal logics, Combinatorics on words |
| | |
| |