|
91 |
Lightweight Intrusion Detection in Wireless Sensor Networks
Riecker, Michael. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
92 |
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Scheele, Stephan M.. - Bamberg : University of Bamberg Press, 2015
|
|
|
|
93 |
Model-Based Runtime Adaptation of Resource Constrained Devices
Saller, Karsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
94 |
Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain
Löding, Helge. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
95 |
On Formalizing UML and OCL Features and Their Employment to Runtime Verification
Hamann, Lars. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
96 |
On Privacy-Preserving Protocols for Smart Metering Systems
Borges de Oliveira, Fábio. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
97 |
On the Utility of Higher Order Fault Models for Fault Injections
Winter, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
98 |
Resource Description and Selection for Similarity Search in Metric Spaces: Problems and Problem-Solving Approaches
Blank, Daniel. - Bamberg : University of Bamberg Press, 2015
|
|
|
|
99 |
Security and privacy aspects of mobile platforms and applications
Dmitrienko, Alexandra. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
100 |
Testing life cycle-related properties of mobile applications
Franke, Dominik. - Aachen : Universitätsbibliothek der RWTH Aachen, 2015
|
|
Administration
