Irreversible quantum dynamics
/ F. Benatti ; R. Floreanini (ed.). - Berlin : Springer, 2003. - X, 373 S. : graph. Darst.; 24 cm - (Lecture notes in physics; 622)
ISBN 978-3-540-40223-7 / 3-540-40223-3 Pp. : EUR 74.85
Literaturangaben
Quelle: DNB
Irritant dermatitis
/ Ai-Lean Chew ; Howard I. Maibach (ed.). - Berlin : Springer, 2006. - XXIV, 538 S. : Ill., graph. Darst.; 28 cm
ISBN 978-3-540-00903-0 / 3-540-00903-5 Pp. : EUR 149.75
Literaturangaben
Quelle: DNB
Bollenberger, Raimund: Irrtum über die Zahlungsunfähigkeit
: Aussonderung durch Anfechtung / Raimund Bollenberger. - Wien : Springer, 1995. - XVI, 163 S.; 23 cm
ISBN 978-3-211-82625-6 / 3-211-82625-4 kart. : DM 82.00, S 575.00
Literaturverz. S. 153 - 159
Quelle: DNB
Bässler, Ulrich: Irrtum und Erkenntnis
: Fehlerquellen im Erkenntnisprozess von Biologie und Medizin / Ulrich Bässler. - Berlin : Springer, 1991. - VII, 93 S. : Ill., graph. Darst.; 25 cm - (Naturwissenschaften-Bibliothek)
ISBN 978-3-540-53626-0 / 3-540-53626-4 kart. : DM 19.80
Quelle: DNB
ISA '91 algorithms
: proceedings / 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16 - 18, 1991. W. L. Hsu ; R. C. T. Lee (ed.). - Berlin : Springer, 1991. - X, 395 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 557)
ISBN 978-3-540-54945-1 / 3-540-54945-5 kart. : DM 61.00
Literaturangaben
Quelle: DNB
Paulson, Lawrence C.: Isabelle
: a generic theorem prover / Lawrence C. Paulson. With contributions by Tobias Nipkow. - Berlin : Springer, 1994. - XVII, 321 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 828)
ISBN 978-3-540-58244-1 / 3-540-58244-4 kart. : DM 66.00
Literaturverz. S. 301 - 304
Quelle: DNB
Isabelle, HOL
: a proof assistant for higher order logic / T. Nipkow .... - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2283)
ISBN 978-3-540-45949-1
Lizenzpflichtig
Quelle: DNB
Nipkow, Tobias: Isabelle, HOL
: a proof assistant for higher order logic / Tobias Nipkow ; Lawrence C. Paulson ; Markus Wenzel. - Berlin : Springer, 2002. - XIII, 218 S.; 24 cm - (Lecture notes in computer science; Vol. 2283)
ISBN 978-3-540-43376-7 / 3-540-43376-7 kart. : EUR 32.10
Literaturverz. S. 209 - 211
Quelle: DNB
Ischemia in head injury
: proceedings of a special symposium ; with 23 tables / 10th European Congress of Neurosurgery, Berlin 1995. T. C. G. Smith (ed.). - Berlin : Springer, 1996. - 49 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-61002-1 / 3-540-61002-2 kart. : DM 48.00
Quelle: DNB
L 'ischemia nei traumi cranici
: atti di un simposio satellite / 10 Congresso Europeo di Neurochirurgia, Berlino, 1995. Thomas C. G. Smith. [Trad. a cura di S. Perna]. - Berlin : Springer, 1997. - 41 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-75033-8 / 3-540-75033-9 geh.
Quelle: DNB
