Hochschulschrift - Master (492)

110061.
Hochschulschrift - Master
Cotton, S.: Satisfiability Checking with Difference Constraints. Master, Universität des Saarlandes, Saarbrücken (2005)
110062.
Hochschulschrift - Master
Dong, Z.: Relevant Technology Study on Programmable Graphics Hardware. Master, 65 S., Zhejiang University, Zheijang (2005)
110063.
Hochschulschrift - Master
Hussain, S. S.: Enconding a Hierarchical Proof Data Structure for Contextual Reasoning in a Logical Framework. Master, Universität des Saarlandes, Saarbrücken (2005)
110064.
Hochschulschrift - Master
Noori, H.: Getwistet induzierte Darstellungen der Gruppe Gl(3,Qp). Master, Universität Heidelberg: Mathematisches Institut, Heidelberg, Germany (2005)
110065.
Hochschulschrift - Master
Ray, S.: Counting Straight-Edge Tringulation of Planar Point Sets. Master, Universität des Saarlandes, Saarbrücken (2005)
110066.
Hochschulschrift - Master
Sliwerski, J.: Locating the Risk of Changes. Master, Universität des Saarlandes, Saarbrücken (2005)
110067.
Hochschulschrift - Master
Zhang, X.: Characterization of DigR, a novel response regulator protein in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2005)
110068.
Hochschulschrift - Master
Ahmed, N.: BRDF Reconstruction from Video Streams of Multi-View Recordings. Master, Universität des Saarlandes, Saarbrücken (2004)
110069.
Hochschulschrift - Master
Overgaard, M.: 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
Ziegler, G.: MPEG Z/Alpha and High Resolution MPEG. Master, VII, 43 S., Linköping University, Norrköping (2003)
110071.
Hochschulschrift - Master
Jelsbak, L.: Characterization of the developmentally regulated fruA promoter in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2003)
110072.
Hochschulschrift - Master
Madrigal Mora, C.: Client Framework for the REAL Smart Door Displays. Master, Universität des Saarlandes, Saarbrücken (2003)
110073.
Hochschulschrift - Master
McCabe, P.: Lower Bounding the Number of Straight-Edge Triangulations of Planar Point Sets. Master, Universität des Saarlandes, Saarbrücken (2003)
110074.
Hochschulschrift - Master
Nielsen, M.: Identification and analysis of the hthA and hthB genes in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2003)
110075.
Hochschulschrift - Master
Tiwary, H. R.: Orthogonal Range Searching. Master, Universität des Saarlandes, Saarbrücken (2003)
110076.
Hochschulschrift - Master
Tverdyshev, S.: Documentation and Modelling of the IPC Mechanism in the L4 Kernel. Master, Universität des Saarlandes, Saarbrücken (2003)
110077.
Hochschulschrift - Master
Barnett-Cowan, M.: Induced phantom limb illusion. Master, Univeristy of Guelph, Guelph, ON, Canada (2002)
110078.
Hochschulschrift - Master
Rasmussen, A. A.: Identification of a Histidine Protein Kinase involved in C-signaling in Myxococcus xanthus. Master, University of Southern Denmark, Odense, Denmark (2002)
110079.
Hochschulschrift - Master
Rybalchenko, A.: A Model Checker based on Abstraction Refinement. Master, Universität des Saarlandes, Saarbrücken (2002)
110080.
Hochschulschrift - Master
Di Luca, M.: Percezione di superfici e illuminazione dinamica. Master, UniversitĂ  di Trieste, Trieste, Italy (2001)
Zur Redakteursansicht