Concurrency theory
: 11th international conference ; proceedings / CONCUR 2000, University Park, PA, USA, August 2000. C. Palamidessi (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1877)
ISBN 978-3-540-44618-7
Lizenzpflichtig
Quelle: DNB
Logic programming
: 19th international conference ; proceedings / ICLP 2003, Mumbai, India, December 9 - 13, 2003. Catuscia Palamidessi (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2916)
ISBN 978-3-540-24599-5
Lizenzpflichtig
Quelle: DNB
Principles of declarative programming
: 10th international symposium ; proceedings / PLILP '98, held jointly with the 6th International Conference ALP '98, Pisa, Italy, September 1998. C. Palamidessi ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1490)
ISBN 978-3-540-49766-0
Lizenzpflichtig
Quelle: DNB