|
321 |
Model-Based Runtime Adaptation of Resource Constrained Devices
Saller, Karsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
322 |
Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain
Löding, Helge. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
323 |
Model-supported Process Adoption and Assessment in the Context of Multiple Practice Repositories
Jeners, Simona C.. - Aachen : Shaker, 2015, 1. Aufl.
|
|
|
|
324 |
Neutralität und Transparenz von Netzenwerken und Anwendungen
Dähn, Andreas. - Rostock : Universität Rostock, 2015
|
|
|
|
325 |
Novel Operation Modes of Accelerated Neuromorphic Hardware
Müller, Eric. - Heidelberg : Universitätsbibliothek Heidelberg, 2015
|
|
|
|
326 |
Object Recognition and Localization : the Role of Tactile Sensors
Aggarwal, Achint. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
327 |
On Formalizing UML and OCL Features and Their Employment to Runtime Verification
Hamann, Lars. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
328 |
On Privacy-Preserving Protocols for Smart Metering Systems
Borges de Oliveira, Fábio. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
329 |
On the analysis of stochastic timed systems
Hartmanns, Arnd. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2015
|
|
|
|
330 |
On the control through leadership of multi-agent systems
Wongkaew, Suttida. - Würzburg : Universität Würzburg, 2015
|
|
Administration
