Home Advanced Search

Advanced Search - Page 1

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
  • PDF
  • German
  • Year: 1987
  • Author: Werner Damm (auth.)
European Perspectives on Taiwan
  • PDF
  • English
  • Year: 2012
  • Author: Jens Damm, Paul Lim (auth.), Jens Damm, Paul Lim (eds.)
Practical Formal Methods for Hardware Design
  • PDF
  • English
  • Year: 1997
  • Author: Carlos Delgado Kloos, Werner Damm, Juan Goicolea (auth.), Carlos Delgado Kloos, Werner Damm (eds.)
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)
OPC Unified Architecture
  • PDF
  • English
  • Year: 2009
  • Author: Matthias Damm, Stefan-Helmut Leitner, Wolfgang Mahnke (auth.)