Direkt zum Inhalt | Direkt zur Navigation

Ihr Suchergebnis

61. Malkis, Alexander (2010) Cartesian abstraction and verification of multithreaded programs
(URL: http://www.freidok.uni-freiburg.de/volltexte/7356)
62. Schnell, Susanne (2010) Data-driven quantification and classification of diffusion and perfusion magnetic resonance data
(URL: http://www.freidok.uni-freiburg.de/volltexte/7958)
63. Wehr, Stefan (2010) JavaGI: a language with generalized interfaces
(URL: http://www.freidok.uni-freiburg.de/volltexte/7678)
64. Honal, Matthias (2010) Kompensation von Atembewegung bei der Magnetresonanztomographie mit kontinuierlich bewegtem Patiententisch
(URL: http://www.freidok.uni-freiburg.de/volltexte/7364)
65. Meier, Michael (2010) On the termination of the chase algorithm
(URL: http://www.freidok.uni-freiburg.de/volltexte/7590)
66. Zhou, Rui (2010) Personalized guide on the web : integrating location- and context-awareness with the world wide web to enable web-based tracking and guiding
(URL: http://www.freidok.uni-freiburg.de/volltexte/7716)
67. Hornung, Thomas Daniel (2010) Query workflows over web data sources
(URL: http://www.freidok.uni-freiburg.de/volltexte/7760)
68. Maindorfer, Christine (2009) Algorithms and data structures for IP lookup, packet classification and conflict detection
(URL: http://www.freidok.uni-freiburg.de/volltexte/6371)
69. Weber, Martin Anton (2009) Anfragetransformationen zum adaptiven Filtern von XML-Datenströmen
(URL: http://www.freidok.uni-freiburg.de/volltexte/6838)
70. Eisinger, Jochen (2009) Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition
(URL: http://www.freidok.uni-freiburg.de/volltexte/6409)
71. Mohamed, Khaireel Ahmad (2009) Concepts and solutions for efficient handling of the digital ink
(URL: http://www.freidok.uni-freiburg.de/volltexte/7361)
72. Kupferschmid, Sebastian (2009) Directed model checking for timed automata
(URL: http://www.freidok.uni-freiburg.de/volltexte/7451)
73. Cupelli, Claudio Giorgio (2009) Dissipative particle dynamics as a simulation tool for capillary wetting and suspensions in microfluidic applications
(URL: http://www.freidok.uni-freiburg.de/volltexte/7136)
74. Faupel, Titus (2009) Einsatz von RFID zur Optimierung dezentraler Materialfluss-Steuerung : ein Informationssystem zur Flexibilisierung der Reihenfolgeplanung in Kanban
(URL: http://www.freidok.uni-freiburg.de/volltexte/6611)
75. Schmidt, Michael (2009) Foundations of SPARQL query optimization
(URL: http://www.freidok.uni-freiburg.de/volltexte/7148)
76. Jacobs, Tobias (2009) Hotlink Assignment
(URL: http://www.freidok.uni-freiburg.de/volltexte/6606)
77. Fehr, Janis (2009) Local invariant features for 3D image analysis
(URL: http://www.freidok.uni-freiburg.de/volltexte/6794)
78. Becker, Markus (2009) Particle-based animation
(URL: http://www.freidok.uni-freiburg.de/volltexte/6834)
79. Engelke, Piet (2009) Resistive bridging faults - defect-oriented modeling and efficient testing
(URL: http://www.freidok.uni-freiburg.de/volltexte/6476)
80. Wies, Thomas (2009) Symbolic shape analysis
(URL: http://www.freidok.uni-freiburg.de/volltexte/6972)

Indexliste