mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(1272)
2023
(6831)
2022
(8547)
2021
(8815)
2020
(8102)
Fakultäten
(7505)
Architektur
(108)
Bau Geo Umwelt
(582)
Chemie
(165)
Elektrotechnik und Informationstechnik
(1105)
Informatik
(488)
Informatik 1 - Lehrstuhl für Engineering Software for Decentralized Systems (Prof. Bhatotia)
(5)
Informatik 1 - Professur für Digital Health (Prof. Jonas)
Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
(2)
Informatik 3 - Lehrstuhl für Datenbanksysteme (Prof. Kemper)
(1)
Informatik 3 - Professur für Database Systems (Prof. Giceva)
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
(24)
Informatik 4 - Lehrstuhl für Software und Systems Engineering (Prof. Pretschner komm.)
Informatik 5 - Lehrstuhl für Wissenschaftliches Rechnen (Prof. Bungartz)
(66)
Informatik 5 - Professur für Hardware-nahe Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
(16)
Informatik 5 - Professur für Quantum Computing (Prof. Mendl)
Informatik 5 - Professur für Wissenschaftliches Rechnen (N.N.)
Informatik 6 - Professur für Biomimetische Robotersysteme und Maschinelles Lernen (N.N.)
(1)
Informatik 6 - Lehrstuhl für Robotik, Künstliche Intelligenz und Echtzeitsysteme (Prof. Knoll)
(104)
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
(30)
Informatik 6 - Professur für Informatik mit Schwerpunkt Telerobotik und Sensordatenfusion - (Prof. Burschka)
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
(2)
Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Informatik 7 - Professur für Theoretical Foundations of Artificial Intelligence (Prof. Ghoshdastidar)
Informatik 8 - Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(20)
Informatik 9 - Lehrstuhl für Bildverarbeitung und Künstliche Intelligenz (Prof. Cremers)
(2)
Informatik 9 - Professur für Dynamic Vision and Learning (Prof. Leal-Taixe)
Informatik 9 - Professur für Informatik mit Schwerpunkt Intelligente Autonome Systeme - (Prof. Beetz)
(1)
Informatik 10 - Lehrstuhl für Rechnerarchitektur & Parallele Systeme (Prof. Schulz)
(2)
Informatik 10 - Professur für Architektur paralleler und verteilter Systeme - (Prof. Gerndt)
Informatik 11 - Lehrstuhl für Angewandte Informatik / Kooperative Systeme (N.N.)
(3)
Informatik 11 - Lehrstuhl für Connected Mobility (Prof. Ott)
(12)
Informatik 11 - Professur für Programmierung und Anwendung verteilter Systeme - (Prof. Brüggemann-Klein)
Informatik 12 - Lehrstuhl für Bioinformatik (Prof. Rost)
(1)
Informatik 13 - Lehrstuhl für Anwendungs- und Middlewaresysteme (Prof. Jacobsen)
Informatik 13 - Professur für Vernetzte Rechensysteme - (Prof. Baumgarten)
(1)
Informatik 14 - Lehrstuhl für Algorithmen und Komplexität (Prof. Albers)
(1)
Informatik 14 - Lehrstuhl für Effiziente Algorithmen (N.N.)
Informatik 14 - Professur für Theoretische Informatik - (Prof. Räcke)
(1)
Informatik 15 - Lehrstuhl für Grafik und Visualisierung (Prof. Westermann)
(3)
Informatik 15 - Professur für Machine Learning of 3D Scene Geometry (Prof. Dai)
Informatik 15 - Professur für Physik-basierte Simulation (Prof. Thuerey)
(1)
Informatik 16 - Lehrstuhl für Anwendungen in der Medizin (Prof. Navab)
(112)
Informatik 16 - Professur für Bildbasierte biomedizinische Modellierung (N.N.)
(2)
Informatik 16 - Professur für Erweiterte Realität - (Prof. Klinker)
(7)
Informatik 16 - Professur für Healthcare and Rehabilitation Robotics (Prof. Piazza)
Informatik 17 - Lehrstuhl für Wirtschaftsinformatik (Prof. Krcmar)
(65)
Informatik 18 - Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
(12)
Informatik 18 - Professur für Algorithmische Spieltheorie (Prof. Brandt)
Informatik 19 - Lehrstuhl für Software Engineering betrieblicher Informationssysteme (Prof. Matthes)
(3)
Informatik 19 - Professur für Legal Tech (Prof. Grabmair)
Informatik 20 - Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(3)
Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow)
(1)
Informatik 23 - Lehrstuhl für Sensorbasierte Robotersysteme und intelligente Assistenzsysteme (Prof. Albu-Schäffer)
(5)
Informatik 24 - Professur für Cyber Trust (Prof. Grossklags)
Informatik 25 - Lehrstuhl für Data Science and Engineering (Prof. Neumann)
Informatik 26 - Professur für Data Analytics and Machine Learning (Prof. Günnemann)
(1)
Informatik 28 - Professur für Visual Computing (Prof. Nießner)
Informatik 29 - Lehrstuhl für Computational Molecular Medicine (Prof. Gagneur)
Luftfahrt, Raumfahrt und Geodäsie
(469)
Maschinenwesen
(978)
Mathematik
(129)
Medizin
(856)
Physik
(241)
Sport- und Gesundheitswissenschaften
(273)
TUM School of Education
(170)
TUM School of Governance
(132)
Wirtschaftswissenschaften
(414)
Wissenschaftszentrum Weihenstephan
(1279)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(122)
Integrated Research Centers
(305)
Zentrale Einrichtungen
(292)
2019
(8810)
2018
(8654)
2017
(8660)
2016
(8791)
2015
(8193)
2014
(7122)
2013
(6741)
2012
(5770)
2011
(5557)
2010
(5413)
2009
(4589)
2008
(4098)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2020
Fakultäten
Informatik
Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow)
Sort by:
Autor (Nachname, Vorname)
Autor (Nachname, Vorname) (descending)
Serienbandnummer
Serienbandnummer (descending)
Institution
Institution (descending)
Titel der Arbeit
Titel der Arbeit (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
and:
Autor (Nachname, Vorname)
Autor (Nachname, Vorname) (descending)
Serienbandnummer
Serienbandnummer (descending)
Institution
Institution (descending)
Titel der Arbeit
Titel der Arbeit (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Items per page
10
20
50
100
More ...
Wimmer, Simon
Trustworthy Verification of Realtime Systems
2020
Dissertation
177 p.
Login
