Automata, languages and programming
: 32nd international colloquium ; proceedings / ICALP 2005, Lisbon, Portugal, July 11 - 15, 2005. Luís Caires ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3580)
ISBN 978-3-540-31691-6
Lizenzpflichtig
Quelle: DNB
Concurrency theory
: 18th international conference ; proceedings / CONCUR 2007, Lisbon, Portugal, September 3 - 8, 2007. Luís Caires ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4703)
ISBN 978-3-540-74407-8
Lizenzpflichtig
Quelle: DNB