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
Mechanizing mathematical reasoning
: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday ; [Festschrift] / Dieter Hutter ; Werner Stephan (ed.). - Berlin : Springer, 2005. - IX, 563 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2605 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25051-7 / 3-540-25051-4 kart. : EUR 69.55 (freier Pr.), sfr 115.00 (freier Pr.)
Quelle: DNB Verlagsmeldungen
Menschengerechte Software als Wettbewerbsfaktor
: Forschungsansätze und Anwenderergebnisse aus dem Programm "Arbeit und Technik" ; [Arbeitstagung des Projektträgers "Arbeit und Technik" in Zusammenarbeit mit dem German Chapter of the ACM und der Gesellschaft für Informatik am 27. und 28. Januar 1993 in B / hrsg. von Wolfgang Coy ... [Hrsg. für die Deutsche Forschungsanstalt für Luft- und Raumfahrt, Projektträger "Arbeit und Technik"]. - Stuttgart : Teubner, 1993. - 647 S. : graph. Darst.; 24 cm - (Berichte des German Chapter of the ACM; Bd. 40)
ISBN 978-3-519-02681-5 / 3-519-02681-3 kart. : DM 138.00
Literaturangaben
Quelle: DNB
Weber, Karl Matthias: A meta-calculus for formal system development
/ Matthias Weber. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 197 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 195)
ISBN 978-3-486-21994-4 / 3-486-21994-4 kart. : DM 52.00
Quelle: DNB
Methoden und Verfahren der Software-Qualitätssicherung
/ ausgearb. von der Arbeitsgruppe 143 "Qualitätssicherung der DV-Software" der Deutschen Gesellschaft für Qualität e.V. und Informationstechnische Gesellschaft im VDE (ITG). - 1. Aufl. - Berlin : Beuth, 1992. - 144 S. : graph. Darst.; 21 cm - (DGQ-NTG-Schrift; Nr. 12,52)
ISBN 978-3-410-32840-7 / 3-410-32840-8 kart. : DM 43.00
Literaturverz. S. 108 - 121
Quelle: DNB
Nordheimer, Khrystyna: Methodische und softwaretechnische Unterstützung global verteilter Softwareentwicklung bei mittelständischen Unternehmen
/ Khrystyna Nordheimer. - Frankfurt am Main : PL Academic Research, 2016. - 198, XXXIII Seiten : Illustrationen; 22 cm - (Informationstechnologie und Ökonomie; Band 56)
ISBN 978-3-631-67212-9 / 3-631-67212-8 Festeinband : EUR 56.50 (AT), sfr 62.00 (freier Preis), EUR 54.95 (DE)
Quelle: DNB Verlagsmeldungen
Freeman, Adam: Microsoft .NET-XML-Webdienste - Schritt für Schritt
: [.NET-XML-Entwickler ; schnell und einfach lernen] / Adam Freeman ; Allen Jones. [Übertr. ins Dt.: Leonhard Kronast ... für Rabbitsoft Haselier & Fahnenstich, Aachen]. - Unterschleißheim : Microsoft Press, 2003. - 487 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-86063-795-1 / 3-86063-795-9 kart. : EUR 34.90
Links zu XML-Webdiensten S. 467 - 469
Quelle: DNB
