|
31 |
Formalization of logical calculi in Isabelle/HOL
Fleury, Mathias. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020
|
|
|
|
32 |
Graphical Models and Symmetries
Ahmadi, Babak. - Bonn : Universitäts- und Landesbibliothek Bonn, 2020
|
|
|
|
33 |
Interaction-Based Creation and Maintenance of Continuously Usable Trace Links
Hübner, Paul. - Heidelberg : Universitätsbibliothek Heidelberg, 2020
|
|
|
|
34 |
Intrapersonal, Interpersonal, and Hybrid Interactions in Virtual Reality
Roth, Daniel. - Würzburg : Universität Würzburg, 2020
|
|
|
|
35 |
Inwieweit ist es machbar produktspezifische Daten durch maschinelle Erkennung zu identifizieren?
Hofbauer, Sonja Maria. - Landshut : Hochschule für Angewandte Wissenschaften Landshut, 2020
|
|
|
|
36 |
Mobile resource allocation
Feldkord, Björn. - Paderborn : Universitätsbibliothek, 2020
|
|
|
|
37 |
Model-Based Product-Line Regression Testing of Variants and Versions of Variants
Lity, Sascha Burkhard. - Braunschweig : Technische Universität Braunschweig, 2020
|
|
|
|
38 |
Multi-view person re-identification
Blott, Gregor. - München : Verlag der Bayerischen Akademie der Wissenschaften, 2020
|
|
|
|
39 |
Natural Language Visual Grounding via Multimodal Learning
Mi, Jinpeng. - Hamburg : Staats- und Universitätsbibliothek Hamburg, 2020
|
|
|
|
40 |
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
Giarrusso, Paolo G.. - Tübingen : Universitätsbibliothek Tübingen, 2020
|
|
Administration
