Mathematics of program construction
: third international conference ; proceedings / MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Bernhard Möller (ed.). - Berlin : Springer, 1995. - VIII, 472 S. : graph. Darst.; 24 cm - (Mathematics of program construction; 3.1995)
ISBN 978-3-540-60117-3 / 3-540-60117-1 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Mathematics of program construction
: 6th international conference ; proceedings / MPC 2002, Dagstuhl Castle, Germany, July 8 - 10, 2002. E. A. Boiten ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2386)
ISBN 978-3-540-45442-7
Lizenzpflichtig
Quelle: DNB
Mathematics of program construction
: 6th international conference ; proceedings / MPC 2002, Dagstuhl Castle, Germany, July 8 - 10, 2002. Eerke A. Boiten ; Bernhard Möller (ed.). - Berlin : Springer, 2002. - X, 262 S.; 24 cm - (Lecture notes in computer science; Vol. 2386)
ISBN 978-3-540-43857-1 / 3-540-43857-2 kart. : EUR 42.80
Literaturangaben
Quelle: DNB
Mathematics of program construction
: 4th international conference ; proceedings / MPC '98, Marstrand, Sweden, June 1998. J. Jeuring (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1422)
ISBN 978-3-540-69345-1
Lizenzpflichtig
Quelle: DNB
Mathematics of program construction
: 9th international conference ; proceedings / MPC 2008, Marseille, France, July 15 - 18, 2008. Philippe Audebaud ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5133)
ISBN 978-3-540-70594-9
Lizenzpflichtig
Quelle: DNB
Mathematics of program construction
: 8th international conference ; proceedings / MPC 2006, Kuressaare, Estonia, July 3 - 5, 2006. Tarmo Uustalu (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4014)
ISBN 978-3-540-35632-5
Lizenzpflichtig
Quelle: DNB
Mathematics of program construction
: 7th international conference ; proceedings / MPC 2004, Stirling, Scotland, UK, July 12 - 14, 2004. Dexter Kozen (ed.). - Berlin : Springer, 2004. - X, 399 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3125)
ISBN 978-3-540-22380-1 / 3-540-22380-0 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Mathematics of program construction
: 5th international conference ; proceedings / MPC 2000, Ponte de Lima, Portugal, July 3 - 5, 2000. Roland Backhouse ; José Nuno Oliveira (ed.). - Berlin : Springer, 2000. - VII, 255 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1837)
ISBN 978-3-540-67727-7 / 3-540-67727-5 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Mathematics of surfaces
- Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3604)
ISBN 978-3-540-31835-4
Lizenzpflichtig
Quelle: DNB
Mathematics of surfaces
- Berlin : Springer, 2005. - IX, 471 S. : Ill., graph. Darst. - (Lecture notes in computer science; 3604)
ISBN 978-3-540-28225-9 / 3-540-28225-4 kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)
Quelle: DNB
