Direkt zum Inhalt | Direkt zur Navigation

Ihr Suchergebnis

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

Indexliste