SciDok

Ihr Suchergebnis

Ergebnis 31 - 40 von 1218  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 122
31. Gebhard, Gernot (2013) Static timing analysis tool validation in the presence of timing anomalies Dissertation
 
32. Sunkel, Martin (2013) Statistical part-based models for object detection in large 3D scans Dissertation
 
33. Kruglov, Evgeny (2013) Superposition modulo theory Dissertation
 
34. Ehlers, Rüdiger (2013) Symmetric and efficient synthesis Dissertation
 
35. Castronovo, Sandro (2013) The Pull Paradigm : foundations of user-centric advanced driver assistant systems based on bidirectional car2X communication Dissertation
 
36. Kovalev, Mikhail (2013) TLB virtualization in the context of hypervisor verification Dissertation
 
37. Jurkiewicz, Tomasz (2013) Toward better computation models for modern machines Dissertation
 
38. Böhmer, Matthias (2013) Understanding and supporting mobile application usage Dissertation
 
39. Houy, Constantin ; Fettke, Peter ; Loos, Peter (2013) Understanding understandability of conceptual models - what are we actually talking about? - Supplement Report (Bericht)
 
40. Kissmann, Peter ; Hoffmann, Jörg (2013) What’s in it for my BDD? On causal graphs and variable orders in planning Report (Bericht)
 
Ergebnis 31 - 40 von 1218  << 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