Home Advanced Search

Advanced Search - Page 1

Automated Theorem Proving in Software Engineering
  • PDF
  • English
  • Year: 2001
  • Author: Dr. Johann M. Schumann (auth.)
Automated theorem proving in software engineering
  • DJVU
  • English
  • Year: 2001
  • Author: Johann M Schumann
Applications of Neural Networks in High Assurance Systems
  • PDF
  • English
  • Year: 2010
  • Author: Johann Schumann, Pramod Gupta, Yan Liu (auth.), Johann Schumann, Yan Liu (eds.)
Grundzüge der mikroökonomischen Theorie
  • PDF
  • German
  • Year: 1984
  • Author: Prof. Dr. Jochen Schumann (auth.)
Input-Output-Analyse
  • PDF
  • German
  • Year: 1968
  • Author: Professor Dr. Jochen Schumann (auth.)
Grundzüge der mikroökonomischen Theorie
  • PDF
  • German
  • Year: 1976
  • Author: Prof. Dr. Jochen Schumann (auth.)
Der Muskelstoffwechsel des Herzens: Seine Physiologie, Pathologie und Klinik
  • PDF
  • German
  • Year: 1950
  • Author: Dr. Med. Habil. Heinrich Schumann (auth.)
Entwicklung von Anwendungssystemen: Grundzüge eines werkzeuggestützten Vorgehens
  • PDF
  • German
  • Year: 1994
  • Author: Prof. Dr. Matthias Schumann, Dr. Hubert Schüle, Dipl.-Kffr. Ulrike Schumann (auth.)