Eintrag weiter verarbeiten
Online-Ressource

Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften: Dediu, Adrian-Horia (VerfasserIn), Martín-Vide, Carlos (Sonstige)
Titel: Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings/ edited by Adrian-Horia Dediu, Carlos Martín-Vide
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2012
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7183
Schlagwörter:
Computer software
Logic design
Social sciences > Data processing
Computer Science
Computer science
Artificial intelligence
Machine theory.
Algorithms.
Paperback / softback
Research
dynamical systems
formal languages
model checking
numerical constraints
regular expressions
Konferenzschrift > 2012 > La Coruña
Buchausg. u.d.T.: Language and automata theory and applications, Berlin : Springer, 2012, XIV, 552 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz