Home Advanced Search

Advanced Search - Page 1

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 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.)
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Gérard Berry (auth.), Ed Brinksma (eds.)
Introduction to Formal Hardware Verification
  • PDF
  • English
  • Year: 1999
  • Author: Dr. Thomas Kropf (auth.)
Distributed Computing and Internet Technology: 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Gérard Berry, Manuel Serrano (auth.), Raja Natarajan (eds.)
Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz
  • PDF
  • German
  • Year: 1986
  • Author: Thomas Kropf
Histoire illustrée de l’informatique: 2e édition
  • PDF
  • French
  • Year: 2019
  • Author: Emmanuel Lazard; Pierre Mounier-Kuhn; Gérard Berry
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.)
Anticipatory Behavior in Adaptive Learning Systems: Foundations, Theories, and Systems
  • PDF
  • English
  • Year: 2003
  • Author: Martin V. Butz, Olivier Sigaud, Pierre Gérard (auth.), Martin V. Butz, Olivier Sigaud, Pierre Gérard (eds.)
search