Aigner, Martin: Proofs from the book
/ Martin Aigner ; Günter M. Ziegler. Incl. ill. by Karl H. Hofmann. - Berlin : Springer, 1998. - VIII, 199 S. : Ill., graph. Darst.; 25 cm
ISBN 978-3-540-63698-4 / 3-540-63698-6 Pp. : DM 49.90
Literaturangaben
Quelle: DNB
Pohlers, Wolfram: Proof theory
: an introduction / Wolfram Pohlers. - 2. printing - Berlin : Springer, 1994. - VIII, 213 S.; 24 cm - (Lecture notes in mathematics; 1407)
ISBN 978-3-540-51842-6 / 3-540-51842-8 kart. : DM 37.00
Literaturverz. S. 190 - 207
Quelle: DNB
Pohlers, Wolfram: Proof theory
: the first step into impredicativity / Wolfram Pohlers. - Berlin : Springer, 2009. - XIII, 370 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-69318-5 kart. : EUR 42.75 (freier Pr.), sfr 70.00 (freier Pr.)
Literaturverz. S. 357 - 361
Quelle: DNB Verlagsmeldungen
Proof theory
: the first step into impredicativity / Wolfram Pohlers. - Berlin : Springer, 2008. - Online-Ressource - (Universitext)
ISBN 978-3-540-69319-2
Lizenzpflichtig
Quelle: DNB
Proof theory in computer science
: international seminar ; proceedings / PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001. R. Kahle ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2183)
ISBN 978-3-540-45504-2
Lizenzpflichtig
Quelle: DNB
Heidrich, Dietmar: Properties of chemically interesting potential energy surfaces
/ D. Heidrich ; W. Kliesch ; W. Quapp. - Berlin : Springer, 1991. - VIII, 182 S. : graph. Darst.; 25 cm - (Lecture notes in chemistry; 56)
ISBN 978-3-540-54286-5 / 3-540-54286-8 kart. : DM 44.00
Literaturangaben
Quelle: DNB
Wagner, Wolfgang: Properties of water and steam
: the industrial standard IAPWS IF97 for the thermodynamic properties and supplementary equations for other properties ; tables based on these equations = Zustandsgrößen von Wasser und Wasserdampf / Wolfgang Wagner ; Alfred Kruse. - Berlin : Springer, 1998. - XVI, 354 S. : graph. Darst.; 28 cm
ISBN 978-3-540-64339-5 / 3-540-64339-7 Pp. : DM 198.00
Quelle: DNB
Johansson, Erica: Property rights in investment securities and the doctrine of specificity
/ Erica Johansson. - Berlin : Springer, 2008. - XV, 220 S. : graph. Darst.; 24 cm
ISBN 978-3-540-85903-1 Pp. : EUR 117.65 (freier Pr.), sfr 182.50 (freier Pr.)
Quelle: DNB Verlagsmeldungen
Kompe, Ralf: Prosody in speech understanding systems
/ Ralf Kompe. - Berlin : Springer, 1997. - XIX, 357 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1307 : Lecture notes in artificial intelligence)
ISBN 978-3-540-63580-2 / 3-540-63580-7 kart. : DM 82.00
Literaturverz. S. 299 - 334
Quelle: DNB
Prospects for hardware foundations
: survey chapters / ESPRIT Working Group 8533 NADA - New Hardware Design Methods. Bernhard Möller ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1546)
ISBN 978-3-540-49254-2
Lizenzpflichtig
Quelle: DNB
