Programming languages and systems
: proceedings / 12th European Symposium on Programming, ESOP 2003 ... Warsaw, Poland, April 7 - 11, 2003. P. Degano (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2618)
ISBN 978-3-540-36575-4
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 11th European Symposium on Programming, ESOP 2002 ... Grenoble, France, April 8 - 12, 2002. D. Le Métayer (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2305)
ISBN 978-3-540-45927-9
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 10th European Symposium on Programming, ESOP 2001, ..., Genova, Italy, April 2 - 6, 2001. D. Sands (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2028)
ISBN 978-3-540-45309-3
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000. G. Smolka (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1782)
ISBN 978-3-540-46425-9
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: 5th Asian symposium ; proceedings / APLAS 2007, Singapore, November 29 - December 1, 2007. Zhong Shao (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4807)
ISBN 978-3-540-76637-7
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: 4th Asian symposium ; proceedings / APLAS 2006, Sydney, Australia, November 8 - 10, 2006. Naoki Kobayashi (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4279)
ISBN 978-3-540-48938-2
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: third Asian symposium ; proceedings / APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005. Kwangkeun Yi (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3780)
ISBN 978-3-540-32247-4
Lizenzpflichtig
Quelle: DNB
Programs as data objects
: second symposium ; proceedings / PADO 2001, Aarhus, Denmark, May 21 - 23, 2001. O. Danvy ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2053)
ISBN 978-3-540-44978-2
Lizenzpflichtig
Quelle: DNB
Runtime verification
: 8th international workshop ; selected papers / RV 2008, Budapest, Hungary, March 30, 2008. Martin Leucker (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5289)
ISBN 978-3-540-89247-2
Lizenzpflichtig
Quelle: DNB
Semantics, applications, and implementation of program generation
: second international workshop ; proceedings / SAIG 2001, Florence, Italy, September 6, 2001. W. Taha (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2196)
ISBN 978-3-540-44806-8
Lizenzpflichtig
Quelle: DNB