SciDok

Ihr Suchergebnis

Ergebnis 11 - 20 von 605  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 61
11. Shaheen, Mohammed (2013) Cache based optimization of stencil computations : an algorithmic approach Dissertation
 
12. Cullmann, Christoph (2013) Cache persistence analysis for embedded real-time systems Dissertation
 
13. Blankenburg, Bastian (2013) Coalition formation among rational agents in uncertain and untrustworthy environments Dissertation
 
14. Scherbaum, Kristina (2013) Data driven analysis of faces from images Dissertation
 
15. Haupert, Jens (2013) DOMeMan : Repräsentation, Verwaltung und Nutzung von digitalen Objektgedächtnissen Dissertation
 
16. Berg, Matthias (2013) Formal verification of cryptographic security proofs Dissertation
 
17. Lu, Tianxiang (2013) Formal verification of the pastry protocol Dissertation
 
18. Rößler, Jeremias (2013) From software failure to explanation Dissertation
 
19. Patil, Kaustubh Raosaheb (2013) Genome signature based sequence comparison for taxonomic assignment and tree inference Dissertation
 
20. Federmann, Christian (2013) Hybrid machine translation using binary classification models trained on joint, binarised feature vectors Dissertation
 
Ergebnis 11 - 20 von 605  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 61

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