Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/113784695X |
Titel | Design Patterns für mathematische Beweise : ein Leitfaden insbesondere für Informatiker / Hans Jürgen Ohlbach, Norbert Eisinger |
Person(en) |
Ohlbach, Hans Jürgen (Verfasser) Eisinger, Norbert (Verfasser) |
Organisation(en) | Springer-Verlag GmbH (Verlag) |
Verlag | Berlin, Germany : Springer Vieweg |
Zeitliche Einordnung | Erscheinungsdatum: [2017] |
Umfang/Format | xi, 184 Seiten : Illustrationen ; 24 cm |
Andere Ausgabe(n) |
Erscheint auch als Online-Ausgabe: Ohlbach, Hans Jürgen: Design Patterns für mathematische Beweise Elektronische Reproduktion: ISBN: 9783662556528 |
ISBN/Einband/Preis |
978-3-662-55651-1 Broschur : EUR 29.99 (DE), EUR 30.83 (AT), CHF 31.00 (freier Preis) 3-662-55651-0 |
EAN | 9783662556511 |
Sprache(n) | Deutsch (ger) |
Beziehungen | Lehrbuch |
Schlagwörter | Beweis ; Mathematik |
DDC-Notation | 511.024004 [DDC22ger] |
Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
Weiterführende Informationen |
Inhaltstext Inhaltsverzeichnis |
Frankfurt |
Signatur: 2017 A 65087 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2017 A 87617 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
