|
21 |
Ad-Hoc stream query processing
Karimov, Jeyhun. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
22 |
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking
Kuci, Edlira. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2020
|
|
|
|
23 |
Computational Methods for Gait Analysis in Rodents
Timotius, Ivanna Kristianti. - Erlangen : FAU University Press, 2020
|
|
|
|
24 |
CouchEdit - a modular graphical editing architecture for flexible modeling
Nachreiner, Leander. - Ulm : Universität Ulm, 2020
|
|
|
|
25 |
Cyclic motion analysis using inertial sensors and machine learning
Martindale, Christine. - Erlangen : FAU University Press, 2020
|
|
|
|
26 |
Deep learning techniques applied to constituency parsing of German
Rajasekaran, Kandhasamy. - Koblenz : Universität Koblenz-Landau, 2020
|
|
|
|
27 |
Deep Learning With Sentiment Inference For Discourse-Oriented Opinion Analysis
Marasović, Ana. - Heidelberg : Universitätsbibliothek Heidelberg, 2020
|
|
|
|
28 |
Fault-Tolerance and Deaggregation Security of Aggregate Signatures
Kaidel, Björn. - Karlsruhe : KIT-Bibliothek, 2020
|
|
|
|
29 |
Formalization of logical calculi in Isabelle/HOL
Fleury, Mathias. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020
|
|
|
|
30 |
Graphical Models and Symmetries
Ahmadi, Babak. - Bonn : Universitäts- und Landesbibliothek Bonn, 2020
|
|
Administration
