Home Advanced Search

Advanced Search - Page 1

Aussagenlogik: Deduktion und Algorithmen
  • DJVU
  • German
  • Year: 1994
  • Author: Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)
Aussagenlogik: Deduktion und Algorithmen
  • PDF
  • German
  • Year: 1994
  • Author: Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)
Prolog: Grundlagen und Anwendungen
  • PDF
  • German
  • Year: 1986
  • Author: Prof. Dr. rer. nat. Hans Kleine Büning, Dipl.-Wi.-Ing. Stefan Schmitgen (auth.)
Prolog: Grundlagen und Anwendungen
  • PDF
  • German
  • Year: 1988
  • Author: Dr. rer. nat. Hans Kleine Büning, Dipl.-Wi.-Ing. Stefan Schmitgen (auth.)
A Survey of Recent Advances in SAT-Based Formal Verification
  • PDF
  • English
  • Year: 1999
  • Author: Hans Kleine Büning, Theodor Lettmann
Das Bankgeheimnis
  • PDF
  • German
  • Year: 1929
  • Author: Dr. rer. pol. Hans-Theodor Schubert (auth.)
Physik für Ingenieure
  • PDF
  • German
  • Year: 1999
  • Author: Prof. Dr. rer. nat. Dr. rer. pol. Ekbert Hering, Prof. Dr. rer. nat. Rolf Martin, Prof. Dr. rer. nat. Martin Stohrer (auth.)
Physik für Ingenieure
  • PDF
  • German
  • Year: 1997
  • Author: Prof. Dr. rer. nat. Dr. rer. pol. Ekbert Hering, Prof. Dr. rer. nat. Rolf Martin, Prof. Dr. rer. nat. Martin Stohrer (auth.)
Statistik für Soziologen 1: Deskriptive Statistik
  • PDF
  • German
  • Year: 1982
  • Author: Prof. Dr. rer. pol. Hans Benninghaus (auth.)
Deskriptive Statistik
  • PDF
  • German
  • Year: 1982
  • Author: Prof. Dr. rer. pol. Hans Benninghaus (auth.)
search