|
2131 |
Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking
Pavlović, Olivera. - Braunschweig : Technische Universität Braunschweig, 2009
|
|
|
|
2132 |
Gekoppelte Simulation thermisch-mechanischer Fluid-Struktur-Interaktionen für Hyperschall-Anwendungen
Niesner, Reinhold. - Aachen : Shaker, 2009, 1. Auflage
|
|
|
|
2133 |
Gesamtheitliche Analyse des Bedienverhaltens von Fahrzeugfunktionen in der täglichen Nutzung
Sacher, Heike, 2009
|
|
|
|
2134 |
Gestaltung zeit- und sicherheitskritischer Warnungen im Fahrzeug
Fricke, Nicola, 2009
|
|
|
|
2135 |
Grundlegende Untersuchungen zum Schwingungsverhalten von Verdichterlaufrädern in Integralbauweise
Beirow, Bernd. - Aachen : Shaker, 2009, 1. Auflage
|
|
|
|
2136 |
Haptische Signale in der Lenkung: Controllability zusätzlicher Lenkmomente
Schmidt, Gerrit. - Braunschweig : Technische Universität Braunschweig, 2009
|
|
|
|
2137 |
Haptische und akustische Kenngrößen zur Objektivierung und Optimierung der Wertanmutung von Schaltern und Bedienfeldern für den Kfz-Innenraum
Anguelov, Nikolay. - [Dresden] : [Sächsische Landesbibliothek], 2009, [Online-Ausg.]
|
|
|
|
2138 |
Hochverstärkungsbasierte Regelung nichtlinearer Antriebssysteme
Schuster, Hans, 2009
|
|
|
|
2139 |
Implizites Workloadmanagement
Muigg, Andreas, 2009
|
|
|
|
2140 |
In-Orbit Calibration of Satellite Drag-Free Control Systems
Guilherme, Michel Silas. - Aachen : Shaker, 2009, 1. Auflage
|
|
Administration
