Direkt zum Inhalt | Direkt zur Navigation

Ihr Suchergebnis

41. Gißler, Marc (2011) Proximity queries with applications in computational surgery and manipulation planning
(URL: http://www.freidok.uni-freiburg.de/volltexte/8555)
42. Schäf, Martin (2011) Static detection of inevitable errors
(URL: http://www.freidok.uni-freiburg.de/volltexte/8200)
43. Gall, Christine (2011) Statistical models for estimating the effects of intermediate variables in the presence of time-dependent confounders
(URL: http://www.freidok.uni-freiburg.de/volltexte/8475)
44. Zhang, Dapeng (2011) Switching Attention Learning
(URL: http://www.freidok.uni-freiburg.de/volltexte/8454)
45. Wimmer, Ralf (2011) Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
(URL: http://www.freidok.uni-freiburg.de/volltexte/7932)
46. Hermann, Christoph (2011) Techniken und Konzepte für den nachhaltigen Einsatz von Vorlesungsaufzeichnungen
(URL: http://www.freidok.uni-freiburg.de/volltexte/8699)
47. Wehrle, Martin (2011) Transition-based directed model checking
(URL: http://www.freidok.uni-freiburg.de/volltexte/8545)
48. Maus, Stefan (2011) Verification of hypervisor subroutines written in Assembler
(URL: http://www.freidok.uni-freiburg.de/volltexte/8296)
49. Seghir, Mohamed Nassim (2010) Abstraction refinement techniques for software model checking
(URL: http://www.freidok.uni-freiburg.de/volltexte/7903)
50. Nonner, Tim (2010) Approximation in batch and multiprocessor scheduling
(URL: http://www.freidok.uni-freiburg.de/volltexte/7976)
51. 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)
52. Malkis, Alexander (2010) Cartesian abstraction and verification of multithreaded programs
(URL: http://www.freidok.uni-freiburg.de/volltexte/7356)
53. Schnell, Susanne (2010) Data-driven quantification and classification of diffusion and perfusion magnetic resonance data
(URL: http://www.freidok.uni-freiburg.de/volltexte/7958)
54. Wehr, Stefan (2010) JavaGI: a language with generalized interfaces
(URL: http://www.freidok.uni-freiburg.de/volltexte/7678)
55. Honal, Matthias (2010) Kompensation von Atembewegung bei der Magnetresonanztomographie mit kontinuierlich bewegtem Patiententisch
(URL: http://www.freidok.uni-freiburg.de/volltexte/7364)
56. Meier, Michael (2010) On the termination of the chase algorithm
(URL: http://www.freidok.uni-freiburg.de/volltexte/7590)
57. 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)
58. Hornung, Thomas Daniel (2010) Query workflows over web data sources
(URL: http://www.freidok.uni-freiburg.de/volltexte/7760)
59. Maindorfer, Christine (2009) Algorithms and data structures for IP lookup, packet classification and conflict detection
(URL: http://www.freidok.uni-freiburg.de/volltexte/6371)
60. Weber, Martin Anton (2009) Anfragetransformationen zum adaptiven Filtern von XML-Datenströmen
(URL: http://www.freidok.uni-freiburg.de/volltexte/6838)

Indexliste