Home Advanced Search

Advanced Search - Page 1

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
  • PDF
  • German
  • Year: 1987
  • Author: Werner Damm (auth.)
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.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)
European Perspectives on Taiwan
  • PDF
  • English
  • Year: 2012
  • Author: Jens Damm, Paul Lim (auth.), Jens Damm, Paul Lim (eds.)
Goethes letzte Reise: insel taschenbuch
  • EPUB
  • German
  • Year: 2015;2014
  • Author: Damm, Sigrid
Christiane und Goethe Eine Recherche
  • EPUB
  • German
  • Year: 2015
  • Author: Damm, Sigrid