|
311 |
Exploratory search in time-oriented primary data Bernard, Jürgen, 2015
|
|
|
312 |
Exploratory search in time-oriented primary data Bernard, Jürgen. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
313 |
Flexible Live-Migration zur dienstgütebasierten Ressourcenverwaltung in mandantenfähigen Datenbanksystemen Göbel, Andreas, 2015
|
|
|
314 |
Formal model refinement Seiter, Julia, 2015
|
|
|
315 |
Formal verification of multimodal dialogs in pervasive environments Radomski, Stefan, 2015
|
|
|
316 |
Formal verification of multimodal dialogs in pervasive environments Radomski, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
317 |
Generalizing, decoding, and optimizing support vector machine classification Krell, Mario Michael, 2015
|
|
|
318 |
Generalizing, Decoding, and Optimizing Support Vector Machine Classification Krell, Mario Michael. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
319 |
Grammatikbasierte Zertifikate am Beispiel von Sicherheitsauditierungen in verteilten IT-Systemen Kabatnik, Matthias. - Stuttgart : Inst. für Kommunikationsnetze und Rechnersysteme, 2015
|
|
|
320 |
High-level development of scalable real-time online interactive applications for grids and clouds Glinka, Frank. - Münster, 2015
|
|