Home Advanced Search

Advanced Search - Page 1

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

PDF
German
Year: 1987
Author: Werner Damm (auth.)

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.)

Jugendarbeit in selbstorganisierten Initiativen: Praxiserfahrungen und Konzeptentwicklung

PDF
German
Year: 1993
Author: Diethelm Damm (auth.)

Die Archäologie der Zeit: Geschichtsbegriff und Mythosrezeption in den jüngeren Texten von Botho Strauß

PDF
German
Year: 1998
Author: Steffen Damm (auth.)

Schemapädagogik: Möglichkeiten und Methoden der Schematherapie im Praxisfeld Erziehung

PDF
German
Year: 2010
Author: Dr. Marcus Damm (auth.)

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.)

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report

DJVU
English
Year: 2004
Author: Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.)

European Perspectives on Taiwan

PDF
English
Year: 2012
Author: Jens Damm, Paul Lim (auth.), Jens Damm, Paul Lim (eds.)

OPC Unified Architecture

PDF
English
Year: 2009
Author: Matthias Damm, Stefan-Helmut Leitner, Wolfgang Mahnke (auth.)