Direkt zum Inhalt | Direkt zur Navigation

Ihr Suchergebnis

41. Giritli, Mehmet (2012) First-order and modal logics for spatial reasoning
(URL: http://www.freidok.uni-freiburg.de/volltexte/8714)
42. Heidegger, Phillip (2012) Increasing software quality of JavaScript programs : an approach based on type systems
(URL: http://www.freidok.uni-freiburg.de/volltexte/9064)
43. Temerinac-Ott, Maja (2012) Multiview reconstruction for 3D Images from light sheet based fluorescence microscopy
(URL: http://www.freidok.uni-freiburg.de/volltexte/8753)
44. Grundmann, Thilo (2012) Scene analysis for service robots
(URL: http://www.freidok.uni-freiburg.de/volltexte/8702)
45. Wurm, Kai M. (2012) Techniques for multi-robot coordination and navigation
(URL: http://www.freidok.uni-freiburg.de/volltexte/8774)
46. Sturm, Jürgen (2011) Approaches to probabilistic model learning for mobile manipulation robots
(URL: http://www.freidok.uni-freiburg.de/volltexte/8205)
47. Lowis, Lutz (2011) Automatisierte Compliance-Prüfung von Geschäftsprozessen
(URL: http://www.freidok.uni-freiburg.de/volltexte/8292)
48. Aslam, Faisal (2011) Challenges and solutions in the design of a Java Virtual Machine for resource constrained microcontrollers ACM SenSys, IEEE DCOSS
(URL: http://www.freidok.uni-freiburg.de/volltexte/8085)
49. Bieniusa, Annette (2011) Consistency, isolation, and irrevocability in software transactional memory
(URL: http://www.freidok.uni-freiburg.de/volltexte/8382)
50. Vater, Arne (2011) Efficient coding schemes for file sharing networks
(URL: http://www.freidok.uni-freiburg.de/volltexte/8213)
51. Zitterell, Thorsten (2011) Energieeffiziente Schedulingalgorithmen für Echtzeitsysteme
(URL: http://www.freidok.uni-freiburg.de/volltexte/8490)
52. Degen, Markus (2011) Java(X): A Type-Based Program Analysis Framework
(URL: http://www.freidok.uni-freiburg.de/volltexte/8302)
53. Wonnemann, Claus Hendrik (2011) Mechanismen zur Sicherheitszertifizierung formalisierter Geschäftsprozesse
(URL: http://www.freidok.uni-freiburg.de/volltexte/8384)
54. Nguyen-Tuong, Duy (2011) Model Learning in robot control
(URL: http://www.freidok.uni-freiburg.de/volltexte/8160)
55. Meyer-Delius Di Vasto, Daniel (2011) Probabilistic modeling of dynamic environments for mobile robots
(URL: http://www.freidok.uni-freiburg.de/volltexte/8375)
56. Gißler, Marc (2011) Proximity queries with applications in computational surgery and manipulation planning
(URL: http://www.freidok.uni-freiburg.de/volltexte/8555)
57. Schäf, Martin (2011) Static detection of inevitable errors
(URL: http://www.freidok.uni-freiburg.de/volltexte/8200)
58. 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)
59. Zhang, Dapeng (2011) Switching Attention Learning
(URL: http://www.freidok.uni-freiburg.de/volltexte/8454)
60. Wimmer, Ralf (2011) Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele
(URL: http://www.freidok.uni-freiburg.de/volltexte/7932)

Indexliste