Direkt zum Inhalt | Direkt zur Navigation

Ihr Suchergebnis

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

Indexliste