Benutzer: Gast  Login
Sortieren nach:
und:
weiter

Riesinger, Christoph
Scalable scientific computing applications for GPU-accelerated heterogeneous systems
2017
Dissertation
213 Seiten
Banescu, Sebastian-Emilian
Characterizing the Strength of Software Obfuscation Against Automated Attacks
2017
Dissertation
204 Seiten
Bakhtiari, Arash
High Order Adaptive Semi-Lagrangian/Volume-Integral Methods for Parallel Advection-Diffusion Simulations
2017
Dissertation
152 Seiten
Diekmann, Cornelius Hermann
Provably Secure Networks: Methodology and Toolset for Configuration Management
2017
Dissertation
280 Seiten
Tsvetkov, Tsvetko Ivanchev
Verification of Autonomic Actions in Mobile Communication Networks
2017
Dissertation
270 Seiten
Mund, Jakub Mikołaj
Measurement-based Quality Assessment of Requirements Specifications for Software-Intensive Systems
2017
Dissertation
397 Seiten
Femmer, Henning
Requirements Engineering Artifact Quality: Definition and Control
2017
Dissertation
196 Seiten
Becker, Klaus
Software Deployment Analysis for Mixed Reliability Automotive Systems
2017
Dissertation
214 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
Sortieren nach:
und:
weiter