Direkt zum Inhalt | Direkt zur Navigation

Ihr Suchergebnis

61. Nonner, Tim (2010) Approximation in batch and multiprocessor scheduling
(URL: http://www.freidok.uni-freiburg.de/volltexte/7976)
62. Eppler, Jochen Martin (2010) Architectures for communication between processes and software layers for a simulator for biological neural networks
(URL: http://www.freidok.uni-freiburg.de/volltexte/7861)
63. Malkis, Alexander (2010) Cartesian abstraction and verification of multithreaded programs
(URL: http://www.freidok.uni-freiburg.de/volltexte/7356)
64. Schnell, Susanne (2010) Data-driven quantification and classification of diffusion and perfusion magnetic resonance data
(URL: http://www.freidok.uni-freiburg.de/volltexte/7958)
65. Wehr, Stefan (2010) JavaGI: a language with generalized interfaces
(URL: http://www.freidok.uni-freiburg.de/volltexte/7678)
66. Honal, Matthias (2010) Kompensation von Atembewegung bei der Magnetresonanztomographie mit kontinuierlich bewegtem Patiententisch
(URL: http://www.freidok.uni-freiburg.de/volltexte/7364)
67. Meier, Michael (2010) On the termination of the chase algorithm
(URL: http://www.freidok.uni-freiburg.de/volltexte/7590)
68. 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)
69. Hornung, Thomas Daniel (2010) Query workflows over web data sources
(URL: http://www.freidok.uni-freiburg.de/volltexte/7760)
70. Maindorfer, Christine (2009) Algorithms and data structures for IP lookup, packet classification and conflict detection
(URL: http://www.freidok.uni-freiburg.de/volltexte/6371)
71. Weber, Martin Anton (2009) Anfragetransformationen zum adaptiven Filtern von XML-Datenströmen
(URL: http://www.freidok.uni-freiburg.de/volltexte/6838)
72. Eisinger, Jochen (2009) Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition
(URL: http://www.freidok.uni-freiburg.de/volltexte/6409)
73. Mohamed, Khaireel Ahmad (2009) Concepts and solutions for efficient handling of the digital ink
(URL: http://www.freidok.uni-freiburg.de/volltexte/7361)
74. Kupferschmid, Sebastian (2009) Directed model checking for timed automata
(URL: http://www.freidok.uni-freiburg.de/volltexte/7451)
75. 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)
76. 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)
77. Schmidt, Michael (2009) Foundations of SPARQL query optimization
(URL: http://www.freidok.uni-freiburg.de/volltexte/7148)
78. Jacobs, Tobias (2009) Hotlink Assignment
(URL: http://www.freidok.uni-freiburg.de/volltexte/6606)
79. Fehr, Janis (2009) Local invariant features for 3D image analysis
(URL: http://www.freidok.uni-freiburg.de/volltexte/6794)
80. Becker, Markus (2009) Particle-based animation
(URL: http://www.freidok.uni-freiburg.de/volltexte/6834)

Indexliste