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