Benutzer: Gast  Login
Sortieren nach:
und:
weiter

Mund, Jakub Mikołaj
Measurement-based Quality Assessment of Requirements Specifications for Software-Intensive Systems
2017
Dissertation
397 Seiten
Narayan, Nitesh
MiNT: MULTIMODAL iNTERACTION FOR MODELING AND MODEL REFACTORING
2017
Dissertation
154 Seiten
Neumann, René
CAVA – A Verified Model Checker
2017
Dissertation
141 Seiten
Jarema, Denis
Efficient Eulerian Gyrokinetic Simulations with Block-Structured Grids
2017
Dissertation
167 Seiten
Hu, Biao
Schedulability Analysis of General Task Model and Demand Aware Scheduling in Mixed-Criticality Systems
2017
Dissertation
167 Seiten
Xiao, Huang
Adversarial and Secure Machine Learning
2017
Dissertation
153 Seiten
Reschenhofer, Thomas
Empowering End-users to Collaboratively Analyze Evolving Complex Linked Data
2017
Dissertation
216 Seiten
Maurus, Samuel
Exploratory Knowledge-Mining from Complex Data Contexts in Linear Time
2017
Dissertation
117 Seiten
Chatelain, Pierre
Quality-Driven Control of a Robotized Ultrasound Probe
2016
Dissertation
204 Seiten
Ferstl, Florian
Visualizing the Variability in Ensemble Simulations
2016
Dissertation
180 Seiten
Sortieren nach:
und:
weiter