Hochschulschrift - Master (492)
110061.
Hochschulschrift - Master
Satisfiability Checking with Difference Constraints. Master, Universität des Saarlandes, Saarbrücken (2005)
110062.
Hochschulschrift - Master
Relevant Technology Study on Programmable Graphics Hardware. Master, 65 S., Zhejiang University, Zheijang (2005)
110063.
Hochschulschrift - Master
Enconding a Hierarchical Proof Data Structure for Contextual Reasoning in a Logical Framework. Master, Universität des Saarlandes, Saarbrücken (2005)
110064.
Hochschulschrift - Master
Getwistet induzierte Darstellungen der Gruppe Gl(3,Qp). Master, Universität Heidelberg: Mathematisches Institut, Heidelberg, Germany (2005)
110065.
Hochschulschrift - Master
Counting Straight-Edge Tringulation of Planar Point Sets. Master, Universität des Saarlandes, Saarbrücken (2005)
110066.
Hochschulschrift - Master
Locating the Risk of Changes. Master, Universität des Saarlandes, Saarbrücken (2005)
110067.
Hochschulschrift - Master
Characterization of DigR, a novel response regulator protein in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2005)
110068.
Hochschulschrift - Master
BRDF Reconstruction from Video Streams of Multi-View Recordings. Master, Universität des Saarlandes, Saarbrücken (2004)
110069.
Hochschulschrift - Master
DigR, a novel DNA-binding response regulator in Myxococcus xanthus: Functional analysis using DNA microarrays. Master, University of Southern Denmark, Odense, Denmark (2004)
110070.
Hochschulschrift - Master
MPEG Z/Alpha and High Resolution MPEG. Master, VII, 43 S., Linköping University, Norrköping (2003)
110071.
Hochschulschrift - Master
Characterization of the developmentally regulated fruA promoter in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2003)
110072.
Hochschulschrift - Master
Client Framework for the REAL Smart Door Displays. Master, Universität des Saarlandes, Saarbrücken (2003)
110073.
Hochschulschrift - Master
Lower Bounding the Number of Straight-Edge Triangulations of Planar Point Sets. Master, Universität des Saarlandes, Saarbrücken (2003)
110074.
Hochschulschrift - Master
Identification and analysis of the hthA and hthB genes in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2003)
110075.
Hochschulschrift - Master
Orthogonal Range Searching. Master, Universität des Saarlandes, Saarbrücken (2003)
110076.
Hochschulschrift - Master
Documentation and Modelling of the IPC Mechanism in the L4 Kernel. Master, Universität des Saarlandes, Saarbrücken (2003)
110077.
Hochschulschrift - Master
Induced phantom limb illusion. Master, Univeristy of Guelph, Guelph, ON, Canada (2002)
110078.
Hochschulschrift - Master
Identification of a Histidine Protein Kinase involved in C-signaling in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2002)
110079.
Hochschulschrift - Master
A Model Checker based on Abstraction Refinement. Master, Universität des Saarlandes, Saarbrücken (2002)
110080.
Hochschulschrift - Master
Percezione di superfici e illuminazione dinamica. Master, UniversitĂ di Trieste, Trieste, Italy (2001)