Bojarčenko, Svetlana I.: Irreversible decisions under uncertainty
: optimal stopping made easy / Svetlana Boyarchenko ; Sergei Levendorskiĭ. - Berlin : Springer, 2007. - XVI, 285 S. : graph. Darst.; 24 cm - (Studies in economic theory; 27)
ISBN 978-3-540-73745-2 / 3-540-73745-6 Pp. : EUR 90.90 (freier Pr.), sfr 148.00 (freier Pr.)
Literaturverz. S. 279 - 282
Quelle: DNB Verlagsmeldungen
Terao, Kunio: Irreversible phenomena
: ignitions, combustion and detonation waves ; with 23 tables / Kunio Terao. - Berlin : Springer, 2007. - X, 409 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-49900-8 / 3-540-49900-8 Pp. : EUR 149.75 (freier Pr.), sfr 237.00 (freier Pr.)
Literaturverz. S. 389 - 395
Quelle: DNB Verlagsmeldungen
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
