mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
mediaTUM Gesamtbestand
Hochschulbibliographie
Kollektionen
Einrichtungen
Fakultäten
Fakultät für Mathematik
Fakultät für Physik
TUM School of Governance
Fakultät für Chemie
Fakultät für Wirtschaftswissenschaften
Ingenieurfakultät Bau Geo Umwelt
Fakultät für Architektur
Fakultät für Maschinenwesen
Fakultät für Elektrotechnik und Informationstechnik
Fakultät für Informatik
Prüfungsarbeiten
(1040)
Lehrstühle der Informatik
(10210)
Informatik 1 - Lehrstuhl für Angewandte Softwaretechnik (Prof. Brügge)
Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
(2)
Informatik 3 - Lehrstuhl für Datenbanksysteme (Prof. Kemper)
(61)
Informatik 3 - Professur für Data Mining and Analytics (Prof. Günnemann)
Informatik 4 - Lehrstuhl für Software und Systems Engineering (Prof. Broy)
(1)
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
(226)
Informatik 5 - Fachgebiet Hardware-nahe Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
Informatik 5 - Fachgebiet Wissenschaftliches Rechnen (Prof. Huckle)
Informatik 5 - Lehrstuhl für Wissenschaftliches Rechnen (Prof. Bungartz)
(5401)
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
(12)
Informatik 6 - Fachgebiet Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
Informatik 6 - Fachgebiet Informatik mit Schwerpunkt Telerobotik und Sensordatenfusion (Prof. Burschka)
(5)
Informatik 6 - Lehrstuhl für Echtzeitsysteme und Robotik (Prof. Knoll)
(1589)
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Informatik 8 - Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(671)
Informatik 9 - Fachgebiet Informatik mit Schwerpunkt Intelligente Autonome Systeme (N.N.)
Informatik 9 - Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(27)
Emmy Noether-Nachwuchsgruppe (Dr. Sachenbacher)
(27)
Informatik 9 - Professur für Dynamic Vision and Learning (Leal-Taixe)
Informatik 10 - Lehrstuhl für Rechnertechnik und Rechnerorganisation (Prof. Schulz)
(24)
Informatik 10 - Fachgebiet Architektur paralleler und verteilter Systeme (Prof. Gerndt)
(5)
Informatik 11 - Lehrstuhl für Angewandte Informatik / Kooperative Systeme (Prof. Schlichter)
(4)
Informatik 11 - Lehrstuhl für Connected Mobility (Prof. Ott)
(70)
Informatik 11 - Fachgebiet Programmierung und Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
Informatik 12 - Lehrstuhl für Bioinformatik (Prof. Rost)
Informatik 12 - Professur für Computational Biology (Prof. Gagneur)
Informatik 13 - Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten)
(112)
Informatik 13 - Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
(2)
Informatik 14 - Lehrstuhl für Algorithmen und Komplexität (Prof. Albers)
(8)
Informatik 14 - Lehrstuhl für Effiziente Algorithmen (N.N.)
(65)
Informatik 14 - Fachgebiet Theoretische Informatik (Prof. Räcke)
Informatik 15 - Assistant Professorship Games Engineering (Prof. Thuerey)
(2)
Informatik 15 - Lehrstuhl für Grafik und Visualisierung (Prof. Westermann)
Informatik 15 - Professur für Visual Computing (Prof. Nießner)
Informatik 16 - Fachgebiet Erweiterte Realität (Prof. Klinker)
Informatik 16 - Lehrstuhl für Anwendungen in der Medizin (Prof. Navab)
Informatik 16 - Assistant Professorship Bildbasierte biomedizinische Modellierung (Prof. Menze)
(4)
Informatik 17 - Lehrstuhl für Wirtschaftsinformatik (Prof. Krcmar)
(1263)
Informatik 18 - Fachgebiet Algorithmische Spieltheorie (Prof. Brandt)
Informatik 18 - Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
(648)
Informatik 19 - Lehrstuhl für Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
(8)
Informatik 20 - Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(1)
Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow)
Informatik 23 - Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)
Informatik 24 - Lehrstuhl für Cyber Trust (Prof. Grossklags)
Informatik 25 - Lehrstuhl für Data Science and Engineering (Prof. Neumann)
Assistant Professorship Games Engineering (Prof. Thuerey)
Assistant Professorship Bildbasierte Biomedizinische Modellierung (Prof. Menze)
Fachgebiet Cyber-Physical Systems and their Implementation (Prof. Althoff)
Center for Digital Technology and Management (CDTM) (Prof. Brügge)
Rechnerbetriebsgruppe Informatik (RBG-IN)
Technische Berichte
Fakultät Wissenschaftszentrum Weihenstephan
Fakultät für Medizin
Fakultät für Sport- und Gesundheitswissenschaften
Fakultät TUM School of Education
Forschungszentren
Serviceeinrichtungen
Partnerschaftliche Einrichtungen
Jahrbuch 1989 - 2007
Hilfe
Kontakt
Über mediaTUM
mediaTUM Gesamtbestand
Einrichtungen
Fakultäten
Fakultät für Informatik
Lehrstühle der Informatik
Informatik 9 - Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
Sortieren nach:
Autor(en) des Beitrags
Autor(en) des Beitrags (absteigend)
Titel des Beitrags
Titel des Beitrags (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
Jahr / Monat
Jahr / Monat (absteigend)
und:
Autor(en) des Beitrags
Autor(en) des Beitrags (absteigend)
Titel des Beitrags
Titel des Beitrags (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
Jahr / Monat
Jahr / Monat (absteigend)
weiter
Artikel pro Seite
5
10
15
20
25
50
Maier, Paul;Jain, Dominik;Sachenbacher, Martin
Compiling AI Engineering Models for Probabilistic Inference
191--203
Proc. KI-2011
To appear
Springer
2011
Maier, Paul;Jain, Dominik;Sachenbacher, Martin
Diagnostic Hypothesis Enumeration vs. Probabilistic Inference for Hierarchical Automata Models
Workshop Proc. DX-2011
2011
Anika Schumann, Martin Sachenbacher, Jinbo Huang
Constraint-Based Optimal Testing Using DNNF Graphs
Lecture Notes in Computer Science
2009
5732
731-745
Martin Sachenbacher, Martin Leucker
Modeling and Optimization for Efficient Electrical Mobility: Challenges from the E-Tour Project
CP Workshop on Constraint Reasoning and Optimization for Computational Sustainability (CROCS)
2009
Martin Leucker, Martin Sachenbacher
Energy Informatics – Computer Science for Power and Energy Systems of the Future
European Computer Science Summit, 5th Annual INFORMATICS-Europe Meeting (ECSS-2009)
8-9 October 2009, Paris
2009
Paul Maier, Martin Sachenbacher
Self-Monitoring and Control for Embedded Systems using Hybrid Constraint Automata
Self-X in Engineering
Benjamin Klöpper, Wilhelm Dangelmaier
Monsenstein und Vannerdat
2009
Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production
Lecture Notes in Computer Science
2009
5803
Stefan Heinz, Martin Sachenbacher
Using Model Counting to Find Optimal Distinguishing Tests
Lecture Notes in Computer Science
2009
5547
117-131
Anika Schumann, Martin Sachenbacher, Jinbo Huang
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs
Electronic Notes in Theoretical Computer Science
2009
253
2
87-99
Andreas Artmeier
Models and Algorithms for Efficient Electromobility
2nd International Conference on Computational Sustainability (CompSust) Doctoral Consortium
2010
Sortieren nach:
Autor(en) des Beitrags
Autor(en) des Beitrags (absteigend)
Titel des Beitrags
Titel des Beitrags (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
Jahr / Monat
Jahr / Monat (absteigend)
und:
Autor(en) des Beitrags
Autor(en) des Beitrags (absteigend)
Titel des Beitrags
Titel des Beitrags (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
Jahr / Monat
Jahr / Monat (absteigend)
weiter