Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.) .... - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69061-0
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: second international conference ; proceedings / VSTTE 2008, Toronto, Canada, October 6 - 9, 2008. Natarajan Shankar ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5295)
ISBN 978-3-540-87873-5
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions / VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005. Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4171)
ISBN 978-3-540-69149-5
Lizenzpflichtig
Quelle: DNB
Verifikation und Validierung für die Simulation in Produktion und Logistik
: Vorgehensmodelle und Techniken / Markus Rabe .... - Berlin : Springer, 2008. - Online-Ressource
ISBN 978-3-540-35282-2
Lizenzpflichtig
Quelle: DNB
Verifying treaty compliance
: limiting weapons of mass destruction and monitoring Kyoto protocol provisions / Rudolf Avenhaus ... (ed.). - Berlin : Springer, 2006. - XIV, 629 S. : Ill., graph. Darst., Kt.; 24 cm
ISBN 978-3-540-33853-6 / 3-540-33853-5 Pp. : EUR 149.75 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Herminghaus, Volker: Veritas storage foundation
: high end computing für UNIX Design und Implementation von Hochverfügbarkeitslösungen mit VxVM und VCS / Volker Herminghaus ; Albrecht Scriba. - Berlin : Springer, 2006. - XVIII, 279 S. : Ill., graph. Darst.; 24 cm - (X.systems.press)
ISBN 978-3-540-34610-4 / 3-540-34610-4 Pp. : EUR 99.00
Quelle: DNB Verlagsmeldungen
Verkehrsleittechnik
: Automatisierung des Straßen- und Schienenverkehrs ; mit 45 Tabellen / Eckehard Schnieder (Hrsg.). Mit Beitr. von Uwe Becker .... - Berlin : Springer, 2007. - XX, 505 S. : Ill., graph. Darst.; 24 cm - (VDI)
ISBN 978-3-540-48296-3 / 3-540-48296-2 Pp. : EUR 99.95, sfr 132.00
Literaturverz. S. 471 - 488
Quelle: DNB
McCulloch, Warren S.: Verkörperungen des Geistes
/ Warren S. McCulloch. [Aus dem Amerikan. übers. von Anita Ehlers]. - Wien : Springer, 2000. - XII, 243 S. : graph. Darst.; 25 cm - (Computerkultur; Bd. 7)
ISBN 978-3-211-82857-1 / 3-211-82857-5 kart. : DM 89.00, S 625.00
Quelle: DNB
Die verletzte Wirbelsäule
/ Computer Based Training Labor, Chirurgische Universitätsklinik Heidelberg. R. Kalff (Hrsg.). - Berlin : Springer, 2000. - 1 CD-ROM : farb., mit Ton; 12 cm - (... Jahrestagung der Gesellschaft für Wirbelsäulenchirurgie; 10)
ISBN 978-3-540-14832-6 / 3-540-14832-9 : DM 145.00
Titel vom Label
Quelle: DNB
Verletzungen der Wirbelsäule
: mit 12 Tabellen / VIII. Münchener Innenstadt-Symposium, 15. und 16. September 1989. M. Richter-Turtur ... (Hrsg.). - Berlin : Springer, 1992. - X, 136 S. : Ill.; 24 cm - (Hefte zur Unfallheilkunde; 225)
ISBN 978-3-540-55484-4 / 3-540-55484-X kart. : DM 86.00
Literaturangaben
Quelle: DNB
