Direkt zum Inhalt | Direkt zur Navigation

Ihr Suchergebnis

121. Cai-Nicolas Ziegler (2005) Towards decentralized recommender systems
(URL: http://www.freidok.uni-freiburg.de/volltexte/1804)
122. Haasdonk, Bernard (2005) Transformation knowledge in pattern analysis with kernel methods - distance and integration kernels
(URL: http://www.freidok.uni-freiburg.de/volltexte/2376)
123. Klaedtke, Felix (2004) Automata-based decision procedures for weak arithmetics
(URL: http://www.freidok.uni-freiburg.de/volltexte/1439)
124. Büttner, Markus (2004) Kombinatorische integrierte Prefetching- und Cachingalgorithmen für Einzel- und Mehrplattensysteme
(URL: http://www.freidok.uni-freiburg.de/volltexte/1398)
125. Schneiderlöchner, Eric (2004) Laserstrahlverfahren zur Fertigung kristalliner Silizium-Solarzellen
(URL: http://www.freidok.uni-freiburg.de/volltexte/1795)
126. Hähnel, Dirk (2004) Mapping with mobile robots
(URL: http://www.freidok.uni-freiburg.de/volltexte/1632)
127. Bennewitz, Maren (2004) Mobile robot navigation in dynamic environments
(URL: http://www.freidok.uni-freiburg.de/volltexte/1362)
128. Lodderstedt, Torsten (2004) Model driven security from UML models to access control architectures
(URL: http://www.freidok.uni-freiburg.de/volltexte/1253)
129. Wei, Fang (2004) Query equivalence and containment on relational and tree databases
(URL: http://www.freidok.uni-freiburg.de/volltexte/1780)
130. Katsoulas, Dimitrios (2004) Robust recovery of piled box-like objects in range images
(URL: http://www.freidok.uni-freiburg.de/volltexte/2053)
131. Keim, Martin (2004) Symbolic methods for testing digital circuits
(URL: http://www.freidok.uni-freiburg.de/volltexte/1248)
132. Riedewald, Sandra (2003) Annotieren von grafischen Darstellungen auf dem Bildschirm
(URL: http://www.freidok.uni-freiburg.de/volltexte/1277)
133. Lluch Lafuente, Alberto (2003) Directed search for the verification of communication protocols
(URL: http://www.freidok.uni-freiburg.de/volltexte/791)
134. Osorio, Ricardo (2003) Micromachined transmission lines for microwave applications
(URL: http://www.freidok.uni-freiburg.de/volltexte/1067)
135. Ayari, Abdelwaheb (2003) System verification tools based on Monadic Logics
(URL: http://www.freidok.uni-freiburg.de/volltexte/1234)
136. Pechmann, Agnes (2003) Untersuchung zum Teilnehmernutzen von Vorausschauen
(URL: http://www.freidok.uni-freiburg.de/volltexte/1459)
137. Hett, Andreas (2002) Binäre Expression-Diagramme
(URL: http://www.freidok.uni-freiburg.de/volltexte/423)
138. Siggelkow, Sven (2002) Feature histograms for content-based image retrieval
(URL: http://www.freidok.uni-freiburg.de/volltexte/631)
139. Meier-Hirmer, Carolina (2002) Multi-State models for the long-term prognosis of breast cancer
(URL: http://www.freidok.uni-freiburg.de/volltexte/1918)
140. Helsen, Simon (2002) Region-based Program Specialization
(URL: http://www.freidok.uni-freiburg.de/volltexte/538)

Indexliste