|
331 |
Formal verification of multimodal dialogs in pervasive environments
Radomski, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
332 |
Generalizing, Decoding, and Optimizing Support Vector Machine Classification
Krell, Mario Michael. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
333 |
Graph visualization in space and time
Hadlak, Steffen. - Rostock : Universität Rostock, 2015
|
|
|
|
334 |
H2 Pseudo-Optimal Model Order Reduction
Wolf, Thomas. - München : Verlag Dr. Hut, 2015
|
|
|
|
335 |
Improving System Security Through TCB Reduction
Kauer, Bernhard. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015
|
|
|
|
336 |
Increasing Structured P2P Protocol Resilience to Localized Attacks
Germanus, Daniel. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
337 |
Informatikdidaktische Diskussion über das Design eingebetteter Systeme
Jaschke, Steffen. - Siegen : Universitätsbibliothek der Universität Siegen, 2015
|
|
|
|
338 |
Informatische Schlüsselkompetenzen
Dörge, Christina. - Potsdam : Universität Potsdam, 2015
|
|
|
|
339 |
Intelligent Single-Channel Methods for Multi-Source Audio Analysis
Weninger, Felix Johannes. - München : Verlag Dr. Hut, 2015
|
|
|
|
340 |
Intrinsic dimensionality in vision: Nonlinear filter design and applications
Kluth, Tobias. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
Administration
