Knoop, Jens: Optimal interprocedural program optimization
: a new framework and its application / Jens Knoop. - Berlin : Springer, 1998. - XXIV, 288 S.; 24 cm - (Lecture notes in computer science; Vol. 1428)
ISBN 978-3-540-65123-9 / 3-540-65123-3 kart. : DM 68.00
Literaturverz. S. 271 - 283
Quelle: DNB
Perspectives of system informatics
: revised papers / 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9 - 12, 2003. Manfred Broy ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2890)
ISBN 978-3-540-39866-0
Lizenzpflichtig
Quelle: DNB
Program development by specification and transformation
: the PROSPECTRA methodology, language family, and system / Berthold Hoffmann ; Bernd Krieg-Brückner (ed.). - Berlin : Springer, 1993. - XIV, 623 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 680)
ISBN 978-3-540-56733-2 / 3-540-56733-X kart. : DM 114.00
Literaturverz. S. 589 - 623
Quelle: DNB
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
: 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
: second Asian symposium ; proceedings / APLAS 2004, Taipei, Taiwan, November 4 - 6, 2004. Wei-Ngan Chin (ed.). - Berlin : Springer, 2004. - XIII, 452 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3302)
ISBN 978-3-540-23724-2 / 3-540-23724-0 kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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
