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
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
