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
The programming and proof system ATES
: advanced techniques integration into efficient scientific software / A. Puccetti (ed.). With contributions by D. Brocard .... - Berlin : Springer, 1991. - VIII, 341 S. : graph. Darst.; 25 cm - (Research reports ESPRIT : [...], Project 1158, ATES; Vol. 1)
ISBN 978-3-540-54188-2 / 3-540-54188-8 kart. : DM 53.00
Literaturangaben
Quelle: DNB
Programming constraint services
: high level programming of standard and new constraint services / C. Schulte. - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2302 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45945-3
Lizenzpflichtig
Quelle: DNB
Schulte, Christian: Programming constraint services
: high level programming of standard and new constraint services / Christian Schulte. - Berlin : Springer, 2002. - XII, 176 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2302 : Lecture notes in artificial intelligence)
ISBN 978-3-540-43371-2 / 3-540-43371-6 kart. : EUR 38.52
Literaturverz. S. 161 - 170
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
Craig, Iain D.: Programming in Dylan
/ Iain D. Craig. - London : Springer, 1997. - XI, 254 S.; 24 cm
ISBN 978-3-540-76053-5 / 3-540-76053-9 kart. : DM 45.00
Quelle: DNB
Clocksin, William F.: Programming in Prolog
/ W. F. Clocksin ; C. S. Mellish. - 4. ed. - Berlin : Springer, 1994. - XIV, 281 S. : graph. Darst.; 24 cm
ISBN 978-3-540-58350-9 / 3-540-58350-5 kart. : DM 54.00
Quelle: DNB
Clocksin, William F.: Programming in Prolog
: [using the ISO standard] / W. F. Clocksin ; C. S. Mellish. - 5., Ed. - Berlin : Springer, 2003. - XII, 299 S. : graph. Darst.; 24 cm, 420 gr.
ISBN 978-3-540-00678-7 / 3-540-00678-8 kart. : EUR 37.40
Quelle: DNB
Programming language implementation and logic programming
: 6th international symposium ; proceedings / PLILP '94, Madrid, Spain, September 14 - 16, 1994. Manuel Hermenegildo ; Jan Penjam (ed.). - Berlin : Springer, 1994. - XII, 468 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 844)
ISBN 978-3-540-58402-5 / 3-540-58402-1 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Programming language implementation and logic programming
: 3rd international symposium ; proceedings / PLILP '91, Passau, Germany, August 26 - 28, 1991. J. Maluszyński ; M. Wirsing (ed.). - Berlin : Springer, 1991. - XI, 433 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 528)
ISBN 978-3-540-54444-9 / 3-540-54444-5 kart. : DM 61.00
Literaturangaben
Quelle: DNB
