|
81 |
Domain-sensitive Temporal Tagging for Event-centric Information Retrieval
Strötgen, Jannik. - Heidelberg : Universitätsbibliothek Heidelberg, 2015
|
|
|
|
82 |
Dynamic task scheduling and binding for many-core systems through stream rewriting
Middendorf, Lars. - Rostock : Universität Rostock, 2015
|
|
|
|
83 |
Entwicklung der Softwareplattform RESUS
Li, Xiaoshuo. - Clausthal-Zellerfeld : Universitätsbibliothek Clausthal, 2015
|
|
|
|
84 |
Exploratory search in time-oriented primary data
Bernard, Jürgen. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
85 |
Formal verification of multimodal dialogs in pervasive environments
Radomski, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
86 |
Generalizing, Decoding, and Optimizing Support Vector Machine Classification
Krell, Mario Michael. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
87 |
Improving System Security Through TCB Reduction
Kauer, Bernhard. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015
|
|
|
|
88 |
Lightweight Intrusion Detection in Wireless Sensor Networks
Riecker, Michael. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
89 |
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Scheele, Stephan M.. - Bamberg : University of Bamberg Press, 2015
|
|
|
|
90 |
Model-Based Runtime Adaptation of Resource Constrained Devices
Saller, Karsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
Administration
