|
121 |
Generalizing, Decoding, and Optimizing Support Vector Machine Classification
Krell, Mario Michael. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
122 |
Improving System Security Through TCB Reduction
Kauer, Bernhard. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015
|
|
|
|
123 |
Lightweight Intrusion Detection in Wireless Sensor Networks
Riecker, Michael. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
124 |
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Scheele, Stephan M.. - Bamberg : University of Bamberg Press, 2015
|
|
|
|
125 |
Model-Based Runtime Adaptation of Resource Constrained Devices
Saller, Karsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
126 |
Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain
Löding, Helge. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
127 |
Model-supported Process Adoption and Assessment in the Context of Multiple Practice Repositories
Jeners, Simona C.. - Aachen : Shaker, 2015, 1. Aufl.
|
|
|
|
128 |
On Formalizing UML and OCL Features and Their Employment to Runtime Verification
Hamann, Lars. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
129 |
On Privacy-Preserving Protocols for Smart Metering Systems
Borges de Oliveira, Fábio. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
130 |
On the Utility of Higher Order Fault Models for Fault Injections
Winter, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
Administration
