SciDok

Ihr Suchergebnis

Ergebnis 61 - 70 von 1224  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 123
61. Osbild, Ralf (2012) General analysis tool box for controlled perturbation algorithms and complexity and computation of Θ-guarded regions Dissertation
 
62. Emeliyanenko, Pavel (2012) Harnessing the power of GPUs for problems in real algebraic geometry Dissertation
 
63. Kaminski, Mark (2012) Incremental decision procedures for modal logics with nominals and eventualities Dissertation
 
64. Sun, Weiwei (2012) Learning Chinese language structures with multiple views Dissertation
 
65. Awadallah, Rawia (2012) Methods for constructing an opinion network for politically controversial topics Dissertation
 
66. Herzig, Kim Sebastian (2012) Mining and untangling change genealogies Dissertation
 
67. Mileva, Yana Momchilova (2012) Mining the evolution of software component usage Dissertation
 
68. Shadrin, Andrey (2012) Mixed low- and high level programming language semantics and automated verification of a small hypervisor Dissertation
 
69. Hahn, Ernst Moritz (2012) Model checking stochastic hybrid systems Dissertation
 
70. Denev, Dimitar (2012) Models and methods for web archive crawling Dissertation
 
Ergebnis 61 - 70 von 1224  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 123

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English