SciDok

Ihr Suchergebnis

Ergebnis 81 - 90 von 1219  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 122
81. Schwartz, Tim (2012) The always best positioned paradigm for mobile indoor applications Dissertation
 
82. Pister, Markus (2012) Timing model derivation : pipeline analyzer generation from hardware description languages Zugl. im Buchhandel: Saarbrücken : Pirrot, 2012 Dissertation
 
83. Schlickling, Marc (2012) Timing model derivation : static analysis of hardware description languages Zugl. im Buchhandel: Berlin : epubli GmbH, 2013. - 978-3-8442-4513-4 Dissertation
 
84. Günther, David (2012) Topological analysis of discrete scalar data Dissertation
 
85. Schmaltz, Sabine Bettina (2012) Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C Dissertation
 
86. Hritcu, Catalin (2012) Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis Dissertation
 
87. Feld, Michael (2011) A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services Dissertation
 
88. Bozek, Katarzyna (2011) Analysis of HIV-host interaction on different scales Dissertation
 
89. Dietrich, Dominik (2011) Assertion level proof planning with compiled strategies Zugl. im Buchhandel: Göttingen : Optimus-Verl., 2012 Dissertation
 
90. Schuler, David (2011) Assessing test quality Dissertation
 
Ergebnis 81 - 90 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