Meinel, Christoph: Mathematische Grundlagen der Informatik
: mathematisches Denken und Beweisen - eine Einführung / von Christoph Meinel und Martin Mundhenk. - Stuttgart : Teubner, 2000. - 301 S.; 23 cm - (Leitfäden der Informatik)
ISBN 978-3-519-02949-6 / 3-519-02949-9 kart. : DM 58.00, sfr 52.50, S 423.00
Quelle: DNB
Nichts
: was im Leben wichtig ist ; ungekürzte Lesung / Janne Teller. Gelesen von Laura Maire. Aus dem Dän. von Sigrid C. Engeler. Regie: Thomas Krüger. - Hamburg : Hörbuch Hamburg, 2012. - 3 CDs (178 Min.); 12 cm, in Behältnis 13 x 15 x 3 cm - (Downtown)
ISBN 978-3-86909-104-4 / 3-86909-104-5 : EUR 9.99 (DE) (freier Pr.), EUR 9.99 (AT) (freier Pr.), sfr 14.60 (freier Pr.)
Quelle: DNB
Teller, Janne: Nichts
: was im Leben wichtig ist ; Roman / Janne Teller. Aus dem Dän. von Sigrid C. Engeler. - München : Dt. Taschenbuch-Verl., 2012. - 138 S.; 20 cm - (dtv; 62517 : Reihe Hanser)
ISBN 978-3-423-62517-3 / 3-423-62517-1 kart. : EUR 6.95 (DE), EUR 7.20 (AT), sfr 9.90 (freier Pr.)
Quelle: DNB
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
Oehm, Max Wilhelm: Das Rechtshilfeverfahren in Beweissachen nach 28 U.S.C. § 1782 in der internationalen Handels- und Investitionsschutzschiedsgerichtsbarkeit
/ Max Wilhelm Oehm. - Frankfurt am Main : PL Academic Research, 2016. - XXXII, 197 Seiten; 22 cm - (Schriftenreihe der August-Maria-Berges-Stiftung für Arbitrales Recht; Band 27)
ISBN 978-3-631-67102-3 / 3-631-67102-4 Festeinband : EUR 54.95 (DE), EUR 56.50 (AT), sfr 62.00 (freier Preis)
Quelle: DNB
Runtime verification
: 7th international workshop / RV 2007, Vancover, Canada, March 13, 2007. Oleg Sokolsky ; Serdar Taşıran (ed.). - Berlin : Springer, 2007. - VIII, 213 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4839)
ISBN 978-3-540-77394-8 / 3-540-77394-0 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Plum, Heinz: Sachgerechter und prozeßorientierter Nachweis von Behinderungen und Behinderungsfolgen beim VOB-Vertrag
/ Heinz Plum. - 1. Aufl. - Düsseldorf : Werner, 1997. - VII, 156 S. : graph. Darst.; 21 cm - (Baurechtliche Schriften; Bd. 37)
ISBN 978-3-8041-2831-6 / 3-8041-2831-9 kart. : DM 92.00, sfr 92.00, S 672.00
Literaturverz. S. 143 - 146
Quelle: DNB
Schulz, Joachim: Sachverhaltsfeststellung und Beweistheorie
: Elemente einer Theorie strafprozessualer Sachverhaltsfeststellung / von Joachim Schulz. - Köln : Heymann, 1992. - X, 333 S.; 21 cm - (Osnabrücker rechtswissenschaftliche Abhandlungen; Bd. 28)
ISBN 978-3-452-21869-8 / 3-452-21869-4 kart. : DM 180.00
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4454)
ISBN 978-3-540-73770-4
Lizenzpflichtig
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ; Bertrand Meyer (ed.). - Berlin : Springer, 2007. - VIII, 216 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4454)
ISBN 978-3-540-73769-8 / 3-540-73769-3 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
