Programming and mathematical method
: [proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990] / ed. by Manfred Broy. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1992. - VIII, 407 S. : graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 88)
ISBN 978-3-540-55558-2 / 3-540-55558-7 Pp. : DM 148.00
Literaturangaben
Quelle: DNB
Séroul, Raymond: Programming for mathematicians
/ Raymond Séroul. Transl. from the French by Donal O'Shea. - Berlin : Springer, 2000. - XV, 429 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-66422-2 / 3-540-66422-X kart. : DM 69.00
Quelle: DNB
Programming languages and systems
: proceedings / ESOP '94, 5th European Symposium on Programming, Edinburgh, UK, April 11 - 13, 1994. Donald Sannella (ed.). - Berlin : Springer, 1994. - VIII, 516 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 788)
ISBN 978-3-540-57880-2 / 3-540-57880-3 kart. : DM 96.00
Literaturangaben
Quelle: DNB
Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4421)
ISBN 978-3-540-71316-6
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - XVII, 538 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4421)
ISBN 978-3-540-71314-2 / 3-540-71314-X kart. : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Programming languages and systems
: proceedings / 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. David Schmidt (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2986)
ISBN 978-3-540-24725-8
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: first Asian symposium / APLAS 2003, Beijing, China, November 27 - 29, 2003. Atsushi Ohori (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2895)
ISBN 978-3-540-40018-9
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 12th European Symposium on Programming, ESOP 2003 ... Warsaw, Poland, April 7 - 11, 2003. P. Degano (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2618)
ISBN 978-3-540-36575-4
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 1999. S. Doaitse Swierstra (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1576)
ISBN 978-3-540-49099-9
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 11th European Symposium on Programming, ESOP 2002 ... Grenoble, France, April 8 - 12, 2002. D. Le Métayer (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2305)
ISBN 978-3-540-45927-9
Lizenzpflichtig
Quelle: DNB
