Search

Overview of publications Publications

1348 publications found

2003

Code verification by tree reconstruction also known as "Code verification by syntax tree reconstruction"

Roy Oberhauser, Christopher Dollin, Steven Leach, Laura Dickey

2003

Magnetic domain structure in SmCo 2:17 permanent magnets

Dagmar Goll, Y. Zhang, W. Tang, G. C. Hadjipanayis, C. H. Chen, H. Kronmüller

2003

Beyond Budgeting von J. Hope / B. Fraser, Harvard University Press

Robert Rieg

2003

Infrarot-Scheinwerfer fürs Auto der Zukunft

Jürgen Nolting, G. Dittmar

2003

Mit Infrarotscheinwerfern gegen das Blenden beim Autolicht (DLF)

Jürgen Nolting

2003

Combined isotropic and kinematic hardening in phenomenological switching models for ferroelectric ceramics

Volker Knoblauch, A. Haug, R. M. McMeeking

Further information

2003

Reliability aspects of microsensors and micromechatronic actuators for automotive applications

Volker Knoblauch, R. Müller-Filer

Further information

2003

Safely Extending Procedure Types to Allow Nested Procedures as Values

Christian Heinlein

2003

Vertical, Horizontal, and Behavioural Extensibility of Software Systems

Christian Heinlein

2003

Dynamic Class Methods in Java

Christian Heinlein

Frequently searched:

Artificial Intelligence & Computer ScienceBachelor Artificial Intelligence & Data Science