|
1401 |
From Formal Semantics to Verified Slicing
Wasserrab, Daniel. - Karlsruhe : KIT Scientific Publishing, 2011
|
|
|
|
1402 |
From people to entities
Demartini, Gianluca. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2011
|
|
|
|
1403 |
Generating processors from specifications of instruction sets
Dreesen, Ralf. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
1404 |
Generic modeling and mapping languages for model management
Kensche, David Sebastian. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
|
1405 |
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
1406 |
Geometric hybrid registration
Stehn, Fabian. - Berlin : Freie Universität Berlin, 2011
|
|
|
|
1407 |
Gewinnung, Verwaltung und Anwendung von Performance-Daten zur Unterstützung des autonomen Datenbank-Tuning
Wiese, David. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2011
|
|
|
|
1408 |
Hardware Error Detection Using AN-Codes
Schiffel, Ute. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
|
1409 |
Holistic use of analysis models in model-based system testing
Mlynarski, Michael. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
1410 |
Hybride bitparallele Volltextsuche
Selbach, Stefan-Patrick. - Würzburg : Universitätsbibliothek der Universität Würzburg, 2011
|
|
Administration
