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

Inductive synthesis of functional programs

: universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid. - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2654)

ISBN 978-3-540-44846-4

Lizenzpflichtig

Quelle: DNB

Schmid, Ute: Inductive synthesis of functional programs

: universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid. - Berlin : Springer, 2003. - XXII, 398 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2654)

ISBN 978-3-540-40174-2 / 3-540-40174-1 kart. : EUR 57.78

Literaturverz. S. 327 - 340

Quelle: DNB

Müllerschön, Joachim: Ein Verfahren zur automatischen Generierung von Steuerprogrammen für Roboterfahrzeuge

/ Joachim Müllerschön. - Berlin : Springer, 1996. - 140 S. : graph. Darst.; 21 cm - (IPA-IAO-Forschung und Praxis; Bd. 235)

ISBN 978-3-540-61514-9 / 3-540-61514-8 kart. : DM 88.00

Quelle: DNB