Tests and proofs
: second international conference ; proceedings / TAP 2008, Prato, Italy, April 9 - 11, 2008. Bernhard Beckert ; Reiner Hähnle (ed.). - Berlin : Springer, 2008. - X, 191 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4966)
ISBN 978-3-540-79123-2 kart. : EUR 44.94 (freier Pr.), ca. sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Basieux, Pierre: Die Top Ten der schönsten mathematischen Sätze
/ Pierre Basieux. - 3. Aufl. - Reinbek bei Hamburg : Rowohlt-Taschenbuch-Verl., 2003. - 152 S. : graph. Darst. - (rororo; 60883)
ISBN 3-499-60883-9 kart. : ca. € 9,20
Quelle: BG/BRG Wels
Hopp, Kai Ullrick: Ursachen und Ursachenmehrheiten im Umwelthaftungsrecht
: zugleich ein Beitrag zur ökonomischen Analyse des UmwHG / Kail Ullrick Hopp. - Frankfurt am Main : Lang, 1996. - 149 S.; 21 cm - (Europäische Hochschulschriften : Reihe 2, Rechtswissenschaft; Bd. 2014)
ISBN 978-3-631-30710-6 / 3-631-30710-1 kart. : ca. DM 54.00 (freier Pr.)
Quelle: DNB
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.). Foreword by K. Rustan M. Leino. - Berlin : Springer, 2007. - XXIX, 658 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-68977-5 / 3-540-68977-X kart. : EUR 70.62 (freier Pr.), sfr 117.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.) .... - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69061-0
Lizenzpflichtig
Quelle: DNB
Murrow, Ethan: Der Wal
/ Ethan Murrow und Vita Murrow ; Übersetzung: Birgit Franz. - München : Prestel, 2016. - 32 ungezählte Seiten; 28 cm
ISBN 978-3-7913-7254-9 / 3-7913-7254-8 Festeinband : EUR 25.70 (AT), sfr 33.90 (freier Pr.), EUR 24.99 (DE)
Quelle: DNB
Wer war Jack the Ripper?
: Lesung / Patricia Cornwell. Mit Franziska Pigulla und Stephan Benson. Aus dem Amerikan. von Hainer Kober. - Gekürzte Fassung - Hamburg : Hoffmann und Campe, 2003. - 4 CDs : stereo, DDD; 12 cm, in Behältnis 13 x 14 x 2 cm - (Hoffmann-und-Campe-Hörbücher)
ISBN 978-3-455-30322-3 / 3-455-30322-6 : EUR 29.90 (freier Pr., DE), EUR 30.80 (freier Pr., AT), sfr 52.70 (freier Pr.)
Quelle: DNB
Cornwell, Patricia: Wer war Jack the Ripper?
: Porträt eines Killers / Patricia Cornwell. Aus dem Amerikan. von Hainer Kober. - 1. Aufl. - Hamburg : Hoffmann und Campe, 2002. - 414 S.; 22 cm
ISBN 978-3-455-09365-0 / 3-455-09365-5 Pp. : EUR 22.90
Quelle: DNB
