Produktnummer:
18ede2ab1e4004447bb80905011e4606b4
| Themengebiete: | algorithm analysis and problem complexity dynamical systems formal languages model checking numerical constraints regular expressions |
|---|---|
| Veröffentlichungsdatum: | 24.02.2012 |
| EAN: | 9783642283314 |
| Sprache: | Englisch |
| Seitenzahl: | 556 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Dediu, Adrian-Horia Martín-Vide, Carlos |
| Verlag: | Springer Berlin |
| Untertitel: | 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings |
Produktinformationen "Language and Automata Theory and Applications"
This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen