Verhandlungsberichte / 28. Hämophilie-Symposion
: Hamburg 1997 / Hrsg.: I. Scharrer ; W. Schramm. - Berlin : Springer, 1999. - XXXVIII, 470 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-64581-8 / 3-540-64581-0 kart. : DM 169.00, sfr 153.00, S 1234.00, ffr 637.00, L 65.00, lire 186640.00, $ 91.35
Literaturangaben
Quelle: DNB
Prokop, Ludwig: Die Verhütung vorzeitiger Alterserscheinungen
/ Ludwig Prokop. - Wien : Springer, 1996. - VIII, 213 S. : Ill., graph. Darst.; 23 cm
ISBN 978-3-211-82842-7 / 3-211-82842-7 kart. : DM 68.00, S 476.00
LIteraturverz. S. 170 - 199
Quelle: DNB
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - XV, 782 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 2772)
ISBN 978-3-540-21002-3 / 3-540-21002-4 kart. : EUR 83.46 (freier Pr.), sfr 132.00
Quelle: DNB Verlagsmeldungen
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2772)
ISBN 978-3-540-39910-0
Lizenzpflichtig
Quelle: DNB
Verification and validation of complex systems
: human factors issues ; [proceedings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human Machine Systems, held in Vimeiro, Portugal, July 6 - 17, 1992] / ed. by John A. Wise ... Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1993. - XIII, 705 S. : Ill., graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 110)
ISBN 978-3-540-56574-1 / 3-540-56574-4 Pp. : DM 238.00
Literaturangaben
Quelle: DNB
Verification, model checking, and abstract interpretation
: 4th international conference ; proceedings / VMCAI 2003, New York, NY, USA, January 9 - 11, 2002. Lenore D. Zuck ... (ed.). - Berlin : Springer, 2003. - XI, 323 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2575)
ISBN 978-3-540-00348-9 / 3-540-00348-7 kart. : EUR 47.08
Literaturangaben
Quelle: DNB
Verification, model checking, and abstract interpretation
: 4th international conference ; proceedings / VMCAI 2003, New York, NY, USA, January 9 - 11, 2002. L. D. Zuck ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2575)
ISBN 978-3-540-36384-2
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: 5th international conference ; proceedings / VMCAI 2004, Venice, January 11 - 13, 2004. Bernhard Steffen ; Giorgio Levi (ed.). - Berlin : Springer, 2004. - XI, 324 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2937)
ISBN 978-3-540-20803-7 / 3-540-20803-8 kart. : EUR 49.22 (freier Pr.), sfr 79.00
Literaturangaben
Quelle: DNB
Verification, model checking, and abstract interpretation
: 5th international conference ; proceedings / VMCAI 2004, Venice, January 11 - 13, 2004. Bernhard Steffen ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2937)
ISBN 978-3-540-24622-0
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: third international workshop ; revised papers / VMCAI 2002, Venice, Italy, January 21 - 22, 2002. A. Cortesi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2294)
ISBN 978-3-540-47813-3
Lizenzpflichtig
Quelle: DNB
