|
271 |
Model-Based Runtime Adaptation of Resource Constrained Devices
Saller, Karsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
272 |
Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain
Löding, Helge. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
273 |
Neutralität und Transparenz von Netzenwerken und Anwendungen
Dähn, Andreas. - Rostock : Universität Rostock, 2015
|
|
|
|
274 |
Novel Operation Modes of Accelerated Neuromorphic Hardware
Müller, Eric. - Heidelberg : Universitätsbibliothek Heidelberg, 2015
|
|
|
|
275 |
Object Recognition and Localization : the Role of Tactile Sensors
Aggarwal, Achint. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
276 |
On Formalizing UML and OCL Features and Their Employment to Runtime Verification
Hamann, Lars. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
277 |
On Privacy-Preserving Protocols for Smart Metering Systems
Borges de Oliveira, Fábio. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
278 |
On the analysis of stochastic timed systems
Hartmanns, Arnd. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2015
|
|
|
|
279 |
On the control through leadership of multi-agent systems
Wongkaew, Suttida. - Würzburg : Universität Würzburg, 2015
|
|
|
|
280 |
On the Role of Triadic Substructures in Complex Networks
Winkler, Marco. - Würzburg : Universität Würzburg, 2015
|
|
Administration
