|
111 |
Reasoning about non-functional properties using compiler intrinsic function annotations
Jadhav, Shashank. - Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2019
|
|
|
|
112 |
Reverse Engineering of Real-Time System Models From Event Trace Recordings
Sailer, Andreas. - Bamberg : University of Bamberg Press, 2019
|
|
|
|
113 |
Robustness analysis of deep neural networks in the presence of adversarial perturbations and noisy labels
Balda Cañizares, Emilio Rafael. - Aachen : Universitätsbibliothek der RWTH Aachen, 2019
|
|
|
|
114 |
Story Driven Modeling als agile Vorgehensmethode für das Internet der Dinge in Lehre und Praxis
Jubeh, Ruben. - Kassel : Kassel University Press, 2019
|
|
|
|
115 |
Structured Co-sparse Analysis Operator Learning for Inverse Problems in Imaging
Wörmann, Julian. - München : Universitätsbibliothek der TU München, 2019
|
|
|
|
116 |
Substantielle Digitale Bildung statt nur Anwendung digitaler Werkzeuge – Impulse aus einem Pilotprojekt zu Data Science in der Sekundarstufe
Biehler, Rolf. - Dortmund : Universitätsbibliothek Dortmund, 2019
|
|
|
|
117 |
Synthesizing adaptive test strategies from temporal logic specifications
Bloem, Roderick. - Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2019
|
|
|
|
118 |
The KorAP user interface. Accessing CoRoLa via KorAP
Diewald, Nils. - Mannheim : Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek, 2019
|
|
|
|
119 |
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Krause, Anna. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2019
|
|
|
|
120 |
Visual Parameter Space Analysis for Classification Models
Heyen, Frank. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2019
|
|
Administration
