Direkt zum Inhalt | Direkt zur Navigation

Ihr Suchergebnis

41. Bieniusa, Annette (2011) Consistency, isolation, and irrevocability in software transactional memory
(URL: http://www.freidok.uni-freiburg.de/volltexte/8382)
42. Vater, Arne (2011) Efficient coding schemes for file sharing networks
(URL: http://www.freidok.uni-freiburg.de/volltexte/8213)
43. Zitterell, Thorsten (2011) Energieeffiziente Schedulingalgorithmen für Echtzeitsysteme
(URL: http://www.freidok.uni-freiburg.de/volltexte/8490)
44. Degen, Markus (2011) Java(X): A Type-Based Program Analysis Framework
(URL: http://www.freidok.uni-freiburg.de/volltexte/8302)
45. Wonnemann, Claus Hendrik (2011) Mechanismen zur Sicherheitszertifizierung formalisierter Geschäftsprozesse
(URL: http://www.freidok.uni-freiburg.de/volltexte/8384)
46. Nguyen-Tuong, Duy (2011) Model Learning in robot control
(URL: http://www.freidok.uni-freiburg.de/volltexte/8160)
47. Meyer-Delius Di Vasto, Daniel (2011) Probabilistic modeling of dynamic environments for mobile robots
(URL: http://www.freidok.uni-freiburg.de/volltexte/8375)
48. Gißler, Marc (2011) Proximity queries with applications in computational surgery and manipulation planning
(URL: http://www.freidok.uni-freiburg.de/volltexte/8555)
49. Schäf, Martin (2011) Static detection of inevitable errors
(URL: http://www.freidok.uni-freiburg.de/volltexte/8200)
50. 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)
51. Zhang, Dapeng (2011) Switching Attention Learning
(URL: http://www.freidok.uni-freiburg.de/volltexte/8454)
52. Wimmer, Ralf (2011) Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
(URL: http://www.freidok.uni-freiburg.de/volltexte/7932)
53. Hermann, Christoph (2011) Techniken und Konzepte für den nachhaltigen Einsatz von Vorlesungsaufzeichnungen
(URL: http://www.freidok.uni-freiburg.de/volltexte/8699)
54. Wehrle, Martin (2011) Transition-based directed model checking
(URL: http://www.freidok.uni-freiburg.de/volltexte/8545)
55. Maus, Stefan (2011) Verification of hypervisor subroutines written in Assembler
(URL: http://www.freidok.uni-freiburg.de/volltexte/8296)
56. Seghir, Mohamed Nassim (2010) Abstraction refinement techniques for software model checking
(URL: http://www.freidok.uni-freiburg.de/volltexte/7903)
57. Nonner, Tim (2010) Approximation in batch and multiprocessor scheduling
(URL: http://www.freidok.uni-freiburg.de/volltexte/7976)
58. 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)
59. Malkis, Alexander (2010) Cartesian abstraction and verification of multithreaded programs
(URL: http://www.freidok.uni-freiburg.de/volltexte/7356)
60. Schnell, Susanne (2010) Data-driven quantification and classification of diffusion and perfusion magnetic resonance data
(URL: http://www.freidok.uni-freiburg.de/volltexte/7958)

Indexliste