Digitale Bibliothek Ostschweiz. Alle Titel zu Eisinger, Norbert

Mein Konto

Hilfe Onleihe:reader

Seitenbereiche:

Zum Seitenanfang (Alt + 0)
Zum Inhalt (Alt + 1)
Zum Hauptmenü (Alt + 2)
Zur Medienauswahl (Alt + 3)
Zu den Themenbereichen (Alt + 4)
Zum Servicemenü (Alt + 5)
Zur Suche (Alt + 6)
Zur Benötigte Software (Alt + 7)
Zur Hilfe (Alt + 8)

Titel 1-1 von 1

Eisinger, Norbert; Ohlbach, Hans Jürgen

Design Patterns für mathematische Beweise

Ein Leitfaden insbesondere für Informatiker

5.0

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, k ...

Im Bestand seit: 01.11.2017

Verfügbar

Jetzt ausleihen