SciDok

Ihr Suchergebnis

Ergebnis 121 - 130 von 1219  << Blättern   11   12   13   14   15   16   17   18   19   20  Blättern >>   Gehe zu Seite
von 122
121. Dörrenbächer, Jan (2010) Formal specification and verification of a microkernel Dissertation
 
122. Ziegler, Gernot (2010) GPU data structures for graphics and vision Dissertation
 
123. Melo, Gerard de (2010) Graph-based methods for large-scale multilingual knowledge integration Dissertation
 
124. Stein, Ingmar Jendrik (2010) ILP-based path analysis on abstract pipeline state graphs Dissertation
 
125. Kratsch, Stefan (2010) Kernelization of generic problems : upper and lower bounds Dissertation
 
126. Krebs, Jochen (2010) Lösungsmethoden und Fehlerabschätzungen für semi-diskrete inverse Probleme Dissertation
 
127. Dischinger, Marcel (2010) Making broadband access networks transparent to researchers, developers, and users Dissertation
 
128. Tsovaltzi, Dimitra (2010) MENON : automating a Socratic teaching model for mathematical proofs Dissertation
 
129. Dallmeier, Valentin (2010) Mining and checking object behavior Dissertation
 
130. Kuhtz, Lars (2010) Model checking finite paths and trees Dissertation
 
Ergebnis 121 - 130 von 1219  << Blättern   11   12   13   14   15   16   17   18   19   20  Blättern >>   Gehe zu Seite
von 122

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