SciDok

Ihr Suchergebnis

Ergebnis 31 - 40 von 605  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 61
31. Kruglov, Evgeny (2013) Superposition modulo theory Dissertation
 
32. Ehlers, Rüdiger (2013) Symmetric and efficient synthesis Dissertation
 
33. Castronovo, Sandro (2013) The Pull Paradigm : foundations of user-centric advanced driver assistant systems based on bidirectional car2X communication Dissertation
 
34. Kovalev, Mikhail (2013) TLB virtualization in the context of hypervisor verification Dissertation
 
35. Jurkiewicz, Tomasz (2013) Toward better computation models for modern machines Dissertation
 
36. Böhmer, Matthias (2013) Understanding and supporting mobile application usage Dissertation
 
37. Kissmann, Peter ; Hoffmann, Jörg (2013) What’s in it for my BDD? On causal graphs and variable orders in planning Report (Bericht)
 
38. Peter, Hans-Jörg (2012) A uniform approach to the complexity and analysis of succinct systems Dissertation
 
39. Gorius, Manuel (2012) Adaptive delay-constrained internet media transport Dissertation
 
40. Popov, Stefan (2012) Algorithms and data structures for interactive ray tracing on commodity hardware Dissertation
 
Ergebnis 31 - 40 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