Formal description of programming concepts
/ Erich J. Neuhold ; Manfred Paul (eds.). With contributions by K. R. Apt .... - Berlin : Springer, 1991. - VI, 507 S.; 24 cm - (State-of-the-art reports / IFIP)
ISBN 978-3-540-53961-2 / 3-540-53961-1 Pp. : DM 88.00
Literaturangaben
Quelle: DNB
Gottschling, Peter: Forschung mit modernem C++
: C++17-Intensivkurs für Wissenschaftler, Ingenieure und Programmierer / Peter Gottschling. - München : Hanser, 2019. - XXIV, 504 Seiten : Illustrationen; 24 cm, 985 g
ISBN 978-3-446-45846-8 / 3-446-45846-8 Broschur : circa EUR 44.00 (DE), circa EUR 45.30 (AT)
Quelle: DNB
Straley, Stephen: Fortgeschrittene Techniken der Clipper-Programmierung
/ Stephen Straley. - 2., überarb. Aufl., unveränd. Nachdr. - Bonn : Addison-Wesley, 1990. - 879 S.; 25 cm
ISBN 978-3-89319-275-5 / 3-89319-275-1 Pp. : DM 99.00
Aus dem Amerikan. übers.
Quelle: DNB
Foundations of software science and computational structures
: 11th international conference ; proceedings / FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Roberto Amadio (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4962)
ISBN 978-3-540-78499-9
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computational structures
: 10th international conference ; proceedings / FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Helmut Seidl (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4423)
ISBN 978-3-540-71389-0
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computational structures
: 8th international conference ; proceedings / FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005. Vladimiro Sassone (ed.). - Berlin : Springer, 2005. - XIII, 519 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3441)
ISBN 978-3-540-25388-4 / 3-540-25388-2 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Foundations of software science and computation structures
: 6th international conference ; proceedings / FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003. Andrew D. Gordon (ed.). - Berlin : Springer, 2003. - XII, 440 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2620)
ISBN 978-3-540-00897-2 / 3-540-00897-7 kart. : EUR 62.06
Literaturangaben
Quelle: DNB
Foundations of software science and computation structures
: 7th international conference ; proceedings / FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Igor Walukiewicz (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2987)
ISBN 978-3-540-24727-2
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computation structures
: 6th international conference ; proceedings / FOSSACS 2003 ... Warsaw, Poland, April 7 - 11, 2003. A. D. Gordon (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2620)
ISBN 978-3-540-36576-1
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computation structures
: 5th international conference ; proceedings / FOSSACS 2002 ... Grenoble, France, April 8 - 12, 2002. M. Nielsen ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2303)
ISBN 978-3-540-45931-6
Lizenzpflichtig
Quelle: DNB
