MBMV 2019
: 22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” : 8.-9. April in Kaiserlautern / Christoph Grimm, Klaus Schneider, Carna Zivkovic (Hrsg.). - Berlin : VDE VERLAG GMBH, 2019. - 1 CD-ROM; 56 g
ISBN 978-3-8007-4945-4 / 3-8007-4945-9 : EUR 60.00 (DE), EUR 60.00 (AT)
Quelle: DNB
Schneider, Klaus: Natur - Körper - Kleider - Spiel
: Johann Joachim Winckelmann ; Studien zu Körper und Subjekt im späten 18. Jahrhundert / Klaus Schneider. - Würzburg : Königshausen und Neumann, 1994. - 342 S.; 24 cm - (Epistemata : [...], Reihe Literaturwissenschaft; Bd. 134)
ISBN 978-3-88479-952-9 / 3-88479-952-5 kart. : DM 78.00, sfr 78.00, S 600.00
Quelle: DNB
Harbauer, Walter: Rechtsschutzversicherung
: Kommentar zu den Allgemeinen Bedingungen für die Rechtsschutzversicherung / Harbauer ; bearbeitet von Joachim Cornelius-Winkler, Prof. Dr. Karl Maier, Rüdiger Obarowski, Edmund Schmitt, Dr. Klaus Schneider ; begründet und bis zur 6. Auflage fortgeführt von Walter Harbauer. - 9., völlig neu bearbeitete Auflage - München : C.H. Beck, 2018. - XLIII, 1140 Seiten; 23 cm, 1305 g
ISBN 978-3-406-68264-3 / 3-406-68264-2 Festeinband : ca. EUR 100.00 (DE), ca. EUR 102.80 (AT), ca. sfr 139.00 (freier Pr.)
Quelle: DNB
Schneider, Klaus: Rechtsschutzversicherung für Anfänger
/ von Dr. Klaus Schneider, Rechtsanwalt und Notar, Fachanwalt für Versicherungsrecht und Fachanwalt für Verkehrsrecht in Lagenhagen. - 2., völlig überarbeitete Auflage - München : C.H. Beck, 2017. - XXVII, 263 Seiten; 24 cm
ISBN 978-3-406-69453-0 / 3-406-69453-5 Broschur : EUR 45.00 (DE), circa EUR 46.30 (AT)
Quelle: DNB
Schneider, Klaus: Rechtsschutzversicherung für Anfänger
/ von Klaus Schneider. - München : Beck, 2011. - XXV, 284 S.; 23 cm
ISBN 978-3-406-60445-4 kart. : EUR 32.90
Literaturangaben
Quelle: DNB
Theorem proving in higher order logics
: 20th international conference ; proceedings / TPHOLs 2007, Kaiserslautern, Germany, September 10 - 13, 2007. Klaus Schneider ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4732)
ISBN 978-3-540-74591-4
Lizenzpflichtig
Quelle: DNB
