Direkt zum Inhalt | Direkt zur Navigation

Ihr Suchergebnis

121. Hürst, Wolfgang (2005) Multimediale Informationssuche in Vortrags- und Vorlesungsaufzeichnungen
(URL: http://www.freidok.uni-freiburg.de/volltexte/1657)
122. Beyersmann, Jan (2005) On change in length of stay associated with an intermediate event: estimation within multi-state models and large sample properties
(URL: http://www.freidok.uni-freiburg.de/volltexte/1843)
123. Weigel, Thilo (2005) Roboter-Fußball: Perzeption, Deliberation und Aktion autonomer Systeme in dynamischen Umgebungen
(URL: http://www.freidok.uni-freiburg.de/volltexte/2483)
124. Cai-Nicolas Ziegler (2005) Towards decentralized recommender systems
(URL: http://www.freidok.uni-freiburg.de/volltexte/1804)
125. Haasdonk, Bernard (2005) Transformation knowledge in pattern analysis with kernel methods - distance and integration kernels
(URL: http://www.freidok.uni-freiburg.de/volltexte/2376)
126. Klaedtke, Felix (2004) Automata-based decision procedures for weak arithmetics
(URL: http://www.freidok.uni-freiburg.de/volltexte/1439)
127. Büttner, Markus (2004) Kombinatorische integrierte Prefetching- und Cachingalgorithmen für Einzel- und Mehrplattensysteme
(URL: http://www.freidok.uni-freiburg.de/volltexte/1398)
128. Schneiderlöchner, Eric (2004) Laserstrahlverfahren zur Fertigung kristalliner Silizium-Solarzellen
(URL: http://www.freidok.uni-freiburg.de/volltexte/1795)
129. Hähnel, Dirk (2004) Mapping with mobile robots
(URL: http://www.freidok.uni-freiburg.de/volltexte/1632)
130. Bennewitz, Maren (2004) Mobile robot navigation in dynamic environments
(URL: http://www.freidok.uni-freiburg.de/volltexte/1362)
131. Lodderstedt, Torsten (2004) Model driven security from UML models to access control architectures
(URL: http://www.freidok.uni-freiburg.de/volltexte/1253)
132. Wei, Fang (2004) Query equivalence and containment on relational and tree databases
(URL: http://www.freidok.uni-freiburg.de/volltexte/1780)
133. Katsoulas, Dimitrios (2004) Robust recovery of piled box-like objects in range images
(URL: http://www.freidok.uni-freiburg.de/volltexte/2053)
134. Keim, Martin (2004) Symbolic methods for testing digital circuits
(URL: http://www.freidok.uni-freiburg.de/volltexte/1248)
135. Riedewald, Sandra (2003) Annotieren von grafischen Darstellungen auf dem Bildschirm
(URL: http://www.freidok.uni-freiburg.de/volltexte/1277)
136. Lluch Lafuente, Alberto (2003) Directed search for the verification of communication protocols
(URL: http://www.freidok.uni-freiburg.de/volltexte/791)
137. Osorio, Ricardo (2003) Micromachined transmission lines for microwave applications
(URL: http://www.freidok.uni-freiburg.de/volltexte/1067)
138. Ayari, Abdelwaheb (2003) System verification tools based on Monadic Logics
(URL: http://www.freidok.uni-freiburg.de/volltexte/1234)
139. Pechmann, Agnes (2003) Untersuchung zum Teilnehmernutzen von Vorausschauen
(URL: http://www.freidok.uni-freiburg.de/volltexte/1459)
140. Hett, Andreas (2002) Binäre Expression-Diagramme
(URL: http://www.freidok.uni-freiburg.de/volltexte/423)

Indexliste