SciDok

Ihr Suchergebnis

Ergebnis 51 - 60 von 605  << Blättern   1   2   3   4   5   6   7   8   9   10  Blättern >>   Gehe zu Seite
von 61
51. Wischnewski, Patrick (2012) Efficient reasoning procedures for complex first-order theories Dissertation
 
52. Tolosi, Laura (2012) Finding regions of aberrant DNA copy number associated with tumor phenotype Dissertation
 
53. Degenbaev, Ulan (2012) Formal specification of the x86 instruction set architecture Dissertation
 
54. Lang, Mathias M. (2012) Foundations of realistic rendering : a mathematical approach Dissertation
 
55. Osbild, Ralf (2012) General analysis tool box for controlled perturbation algorithms and complexity and computation of Θ-guarded regions Dissertation
 
56. Emeliyanenko, Pavel (2012) Harnessing the power of GPUs for problems in real algebraic geometry Dissertation
 
57. Kaminski, Mark (2012) Incremental decision procedures for modal logics with nominals and eventualities Dissertation
 
58. Awadallah, Rawia (2012) Methods for constructing an opinion network for politically controversial topics Dissertation
 
59. Herzig, Kim Sebastian (2012) Mining and untangling change genealogies Dissertation
 
60. Mileva, Yana Momchilova (2012) Mining the evolution of software component usage Dissertation
 
Ergebnis 51 - 60 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