|
431 |
Extraction and integration of Web query interfaces
Kabisch, Thomas. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011
|
|
|
|
432 |
From Formal Semantics to Verified Slicing
Wasserrab, Daniel. - Karlsruhe : KIT Scientific Publishing, 2011
|
|
|
|
433 |
Generating processors from specifications of instruction sets
Dreesen, Ralf. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
434 |
Generic modeling and mapping languages for model management
Kensche, David Sebastian. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
|
435 |
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
436 |
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
|
|
|
|
437 |
Holistic use of analysis models in model-based system testing
Mlynarski, Michael. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
438 |
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Braßel, Bernd. - Kiel : Universitätsbibliothek Kiel, 2011
|
|
|
|
439 |
Inclusion of pattern languages and related problems
Freydenberger, Dominik. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 2011
|
|
|
|
440 |
Increasing the Performance and Predictability of the Code Execution on an Embedded Java Platform
Preußer, Thomas B.. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
Administration
