Home Advanced Search

Advanced Search - Page 1

Introduction to Formal Hardware Verification
  • PDF
  • English
  • Year: 1999
  • Author: Dr. Thomas Kropf (auth.)
Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)
Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)
Controlling für Electronic-Business-Geschäftsmodelle: Ein ganzheitliches Steuerungssystem von der Strategie bis zur Umsetzung
  • PDF
  • German
  • Year: 2004
  • Author: Dr. Martin Kropf (auth.)
Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz
  • PDF
  • German
  • Year: 1986
  • Author: Thomas Kropf
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
Jets-Geschwader im Aufbruch
  • PDF
  • German
  • Year: 2003
  • Author: Klaus Kropf
Notfallmedizin
  • PDF
  • German
  • Year: 2017
  • Author: Dr. Thomas Ziegenfuß (auth.)
Die Massenpsychologie der Finanzmarktkrise: US-Immobilienblase, Subprime Desaster, Schulden-Bubble und ihre Auswirkungen
  • PDF
  • German
  • Year: 2009
  • Author: Dr. Thomas Fenzl (auth.)
search