|
311 |
Ein Vorgehen für die Portierung sequenzieller Software auf Multicore-Plattformen Christmann, Constantin. - Stuttgart : Fraunhofer-Verl., 2015
|
|
|
312 |
Entwicklung der Softwareplattform RESUS Li, Xiaoshuo. - Clausthal-Zellerfeld : Universitätsbibliothek Clausthal, 2015
|
|
|
313 |
Exploratory search in time-oriented primary data Bernard, Jürgen, 2015
|
|
|
314 |
Exploratory search in time-oriented primary data Bernard, Jürgen. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
315 |
Flexible Live-Migration zur dienstgütebasierten Ressourcenverwaltung in mandantenfähigen Datenbanksystemen Göbel, Andreas, 2015
|
|
|
316 |
Formal model refinement Seiter, Julia, 2015
|
|
|
317 |
Formal verification of multimodal dialogs in pervasive environments Radomski, Stefan, 2015
|
|
|
318 |
Formal verification of multimodal dialogs in pervasive environments Radomski, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
319 |
Generalizing, decoding, and optimizing support vector machine classification Krell, Mario Michael, 2015
|
|
|
320 |
Generalizing, Decoding, and Optimizing Support Vector Machine Classification Krell, Mario Michael. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|