SciDok

Ihr Suchergebnis

Ergebnis 61 - 70 von 605  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 61
61. Shadrin, Andrey (2012) Mixed low- and high level programming language semantics and automated verification of a small hypervisor Dissertation
 
62. Hahn, Ernst Moritz (2012) Model checking stochastic hybrid systems Dissertation
 
63. Denev, Dimitar (2012) Models and methods for web archive crawling Dissertation
 
64. Jindal, Alekh (2012) OctopusDB : flexible and scalable storage management for arbitrary database engines Dissertation
 
65. Didyk, Piotr (2012) Perceptual display : exceeding display limitations by exploiting the human visual system Dissertation
 
66. Fouz, Mahmoud (2012) Randomized rumor spreading in social networks and complete graphs Dissertation
 
67. Ciobotaru, Oana-Mădălina (2012) Rational cryptography: novel constructions, automated verification and unified definitions Dissertation
 
68. Baak, Andreas (2012) Retrieval-based approaches for tracking and reconstructing human motions Dissertation
 
69. Alvarez Amaya, Victor Manuel (2012) Selected topics in algorithmic geometry Dissertation
 
70. Ebert, Sandra (2012) Semi-supervised learning for image classification Dissertation
 
Ergebnis 61 - 70 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