User: Guest  Login
Sort by:
and:
next

Eckert, Marie-Lena Katharina Noemi
Optimization for Fluid Simulation and Reconstruction of Real-World Flow Phenomena
2019
Dissertation
150 p.
Knobloch, Jan Gert
A Teaching Methodology for Massive On Campus Courses
2019
Dissertation
184 p.
Mahlich, Yannick
Predicting functional capabilities of microbes using a similarity graph approach
2019
Dissertation
104 p.
Sickert, Salomon
A Unified Translation of Linear Temporal Logic to ω-Automata
2019
Dissertation
130 p.
Dzvonyar, Dora
TEMPO: A Framework for Team Composition and Management in Project-Based Organizations
2019
Dissertation
186 p.
Kossmann, Max
Sicherheit in der Mensch-Roboter-Interaktion durch einen biofidelen Bewertungsansatz
2019
Dissertation
166 p.
Hupel, Lars
Verified Code Generation from Isabelle/HOL
2019
Dissertation
149 p.
Gasser, Oliver
Evaluating Network Security Using Internet-wide Measurements
2019
Dissertation
212 p.
Kranz, Julian
Binary Analysis using On-Demand Tabulation of Function Summaries
2019
Dissertation
159 p.
Mo-Hellenbrand, Ao
Resource-Aware and Elastic Parallel Software Development for Distributed-Memory HPC Systems
2019
Dissertation
161 p.
Sort by:
and:
next