Logic based program synthesis and transformation
: 16th International Symposium ; revised selected papers / LOPSTR 2006, Venice, Italy, July 12-14, 2006. Germán Puebla (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4407)
ISBN 978-3-540-71410-1
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 15th international symposium ; revised selected papers / LOPSTR 2005, London, UK, September 7 - 9, 2005. Patricia M. Hill (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3901)
ISBN 978-3-540-32656-4
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 14th international symposium ; revised selected papers / LOPSTR 2004, Verona, Italy, August 26 - 28, 2004. Sandro Etalle (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3573)
ISBN 978-3-540-31683-1
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 17th international symposium ; revised selected papers / LOPSTR 2007, Kongens Lyngby, Denmark, August 23 - 24, 2007. Andy King (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4915)
ISBN 978-3-540-78769-3
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 15 - 19, 1998. Pierre Flener (ed.). - Berlin : Springer, 1998. - X, 330 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1559)
ISBN 978-3-540-65765-1 / 3-540-65765-7 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Logic based program synthesis and transformation
: 12th international workshop ; revised selected papers / LOPSTR 2002, Madrid, Spain, September 17 - 20, 2002. Michael Leuschel (ed.). - Berlin : Springer, 2003. - X, 279 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2664)
ISBN 978-3-540-40438-5 / 3-540-40438-4 kart. : EUR 44.94
Literaturangaben
Quelle: DNB
Logic based program synthesis and transformation
: 9th international workshop ; selected papers / LOPSTR '99, Venice, Italy, September 22 - 24, 1999. Annalisa Bossi (ed.). - Berlin : Springer, 2000. - VIII, 312 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1817)
ISBN 978-3-540-67628-7 / 3-540-67628-7 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Logic program synthesis and transformation
: 7th international workshop ; proceedings / LOPSTR '97, Leuven, Belgium, July 1997. N. E. Fuchs (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1463)
ISBN 978-3-540-49674-8
Lizenzpflichtig
Quelle: DNB
Logic program synthesis and transformation
: 7th international workshop ; proceedings / LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997. Norbert E. Fuchs (ed.). - Berlin : Springer, 1998. - X, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1463)
ISBN 978-3-540-65074-4 / 3-540-65074-1 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Optimal interprocedural program optimization
: a new framework and its application / Jens Knoop. - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1428)
ISBN 978-3-540-49639-7
Lizenzpflichtig
Quelle: DNB
