SciDok

Ihr Suchergebnis

Ergebnis 71 - 80 von 605  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 61
71. Grosche, Peter Matthias (2012) Signal processing methods for beat tracking, music segmentation, and audio retrieval Dissertation
 
72. Crecelius, Tom (2012) Socially enhanced search and exploration in social tagging networks Dissertation
 
73. Pister, Markus (2012) Timing model derivation : pipeline analyzer generation from hardware description languages Zugl. im Buchhandel: Saarbrücken : Pirrot, 2012 Dissertation
 
74. 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
 
75. Günther, David (2012) Topological analysis of discrete scalar data Dissertation
 
76. Schmaltz, Sabine Bettina (2012) Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C Dissertation
 
77. Hritcu, Catalin (2012) Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis Dissertation
 
78. Feld, Michael (2011) A speaker classification framework for non-intrusive user modeling : speech-based personalization of in-car services Dissertation
 
79. Bozek, Katarzyna (2011) Analysis of HIV-host interaction on different scales Dissertation
 
80. Dietrich, Dominik (2011) Assertion level proof planning with compiled strategies Zugl. im Buchhandel: Göttingen : Optimus-Verl., 2012 Dissertation
 
Ergebnis 71 - 80 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