SciDok

Ihr Suchergebnis

Ergebnis 11 - 20 von 1224  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 123
11. Backes, Michael ; Gerling, Sebastian ; Hammer, Christian ; Maffei, Matteo ; von Styp-Rekowsky, Philipp (2013) AppGuard — fine-grained policy enforcement for untrusted android applications Report (Bericht)
 
12. Taneva, Bilyana (2013) Automatic population of knowledge bases with multimodal data about named entities Dissertation
 
13. Shaheen, Mohammed (2013) Cache based optimization of stencil computations : an algorithmic approach Dissertation
 
14. Cullmann, Christoph (2013) Cache persistence analysis for embedded real-time systems Dissertation
 
15. Blankenburg, Bastian (2013) Coalition formation among rational agents in uncertain and untrustworthy environments Dissertation
 
16. Scherbaum, Kristina (2013) Data driven analysis of faces from images Dissertation
 
17. Haupert, Jens (2013) DOMeMan : Repräsentation, Verwaltung und Nutzung von digitalen Objektgedächtnissen Dissertation
 
18. Berg, Matthias (2013) Formal verification of cryptographic security proofs Dissertation
 
19. Lu, Tianxiang (2013) Formal verification of the pastry protocol Dissertation
 
20. Rößler, Jeremias (2013) From software failure to explanation Dissertation
 
Ergebnis 11 - 20 von 1224  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 123

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English