Applied semantics
: advanced lectures / G. Barthe ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2395)
ISBN 978-3-540-45699-5
Lizenzpflichtig
Quelle: DNB
Christoph, Alexander: Automatische Transformation von Software-Modellen
/ Alexander Christoph. - Norderstedt : Books on Demand GmbH, 2005. - XII, 135 S. : graph. Darst.; 22 cm
ISBN 3-8334-3655-7 kart. : EUR 17.80
Quelle: DNB Verlagsmeldungen
The essence of computation
: complexity, analysis, transformation ; essays dedicated to Neil D. Jones / T. Ae. Mogensen ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2566)
ISBN 978-3-540-36377-4
Lizenzpflichtig
Quelle: DNB
Generative and transformational techniques in software engineering
: international summer school ; revised papers / GTTSE 2005, Braga, Portugal, July 4 - 8, 2005. Ralf Lämmel ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4143)
ISBN 978-3-540-46235-4
Lizenzpflichtig
Quelle: DNB
Generative and transformational techniques in software engineering II
: international summer school ; revised papers / GTTSE 2007, Braga, Portugal, July 2 - 7, 2007. Ralf Lämmel ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5235)
ISBN 978-3-540-88643-3
Lizenzpflichtig
Quelle: DNB
Rüthing, Oliver: Interacting code motion transformations
: their impact and their complexity / Oliver Rüthing. - Berlin : Springer, 1998. - XII, 225 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1539)
ISBN 978-3-540-65510-7 / 3-540-65510-7 kart. : DM 58.00
Literaturverz. S. 215 - 220
Quelle: DNB
Interacting code motion transformations
: their impact and their complexity / Oliver Rüthing. - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1539)
ISBN 978-3-540-49209-2
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 11th international workshop ; selected papers / LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001. A. Pettorossi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2372)
ISBN 978-3-540-45607-0
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 10th international workshop ; selected papers / LOPSTR 2000, London, UK, July 24 - 28, 2000. K.-K. Lau (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2042)
ISBN 978-3-540-45142-6
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 1998. P. Flener (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1559)
ISBN 978-3-540-48958-0
Lizenzpflichtig
Quelle: DNB