SciDok

Ihr Suchergebnis

Ergebnis 11 - 20 von 1219  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 122
11. Taneva, Bilyana (2013) Automatic population of knowledge bases with multimodal data about named entities Dissertation
 
12. Shaheen, Mohammed (2013) Cache based optimization of stencil computations : an algorithmic approach Dissertation
 
13. Cullmann, Christoph (2013) Cache persistence analysis for embedded real-time systems Dissertation
 
14. Blankenburg, Bastian (2013) Coalition formation among rational agents in uncertain and untrustworthy environments Dissertation
 
15. Scherbaum, Kristina (2013) Data driven analysis of faces from images Dissertation
 
16. Haupert, Jens (2013) DOMeMan : Repräsentation, Verwaltung und Nutzung von digitalen Objektgedächtnissen Dissertation
 
17. Berg, Matthias (2013) Formal verification of cryptographic security proofs Dissertation
 
18. Lu, Tianxiang (2013) Formal verification of the pastry protocol Dissertation
 
19. Rößler, Jeremias (2013) From software failure to explanation Dissertation
 
20. Patil, Kaustubh Raosaheb (2013) Genome signature based sequence comparison for taxonomic assignment and tree inference Dissertation
 
Ergebnis 11 - 20 von 1219  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 122

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