The mathematics of Paul Erdös
/ Ronald L. Graham ; Jaroslav Nešetřil (ed.). - Berlin : Springer, 1996. - XVI, 399 S. : graph. Darst. - (Algorithms and combinatorics; 13)
ISBN 978-3-540-61032-8 / 3-540-61032-4 Pp. : DM 148.00
Quelle: DNB
The mathematics of Paul Erdös
/ Ronald L. Graham ; Jaroslav Nešetřil (ed.). - Berlin : Springer, 1996. - XVI, 577 S. : graph. Darst. - (Algorithms and combinatorics; 14)
ISBN 978-3-540-61031-1 / 3-540-61031-6 Pp. : DM 148.00
Quelle: DNB
Mathematics of program construction
- Berlin : Springer, 1993. - VIII, 378 S. : graph. Darst. - (Lecture notes in computer science; 669)
ISBN 978-3-540-56625-0 / 3-540-56625-2 kart. : DM 72.00
Quelle: DNB
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
