mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
Advanced search
mediaTUM Content
University Bibliography
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
TUM Board of Management
Academic Departments
Department of Mathematics
Physics Department
TUM School of Governance
Department of Chemistry
TUM School of Management
TUM Department of Civil, Geo and Environmental Engineering
Department of Architecture
Faculty of Mechanical Engineering
Department of Electrical and Computer Engineering
Faculty of Informatics
Examination Papers
(1217)
Dissertations
(1193)
Habilitations
(21)
Weitere Prüfungsarbeiten
(1)
Masterarbeiten
(2)
Institute of Informatics
(8059)
Technical Reports
Center of Life and Food Sciences Weihenstephan
TUM School of Medicine
Faculty of Sport and Health Science
TUM School of Education
Academic department Aerospace and Geodesy
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
Research Centers
Service Facilities
TUM Institute for LifeLong Learning
Partnerschaftliche Einrichtungen
Yearbook 1989 - 2007
mediaTUM Gesamtbestand
Einrichtungen
Fakultäten
Fakultät für Informatik
Prüfungsarbeiten
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)
next
Items per page
5
10
15
20
25
50
Wimmer, Simon
Trustworthy Verification of Realtime Systems
2020
Dissertation
177 p.
Künzner, Florian
Efficient non-intrusive uncertainty quantification for large-scale simulation scenarios
2021
Dissertation
224 p.
Eberl, Manuel
Asymptotic Reasoning in a Proof Assistant
2021
Dissertation
138 p.
Röhner, Kilian Michael
Learning from Data with Geometry-Aware Sparse Grids
2020
Dissertation
200 p.
Kumaraswamy, Madhura
Automatic Analysis and Exploitation of Dynamism for Energy-Efficient HPC Applications
2020
Dissertation
157 p.
Xu, Han
Demo Engineering: Using Software Theater for Exploratory Projects
2021
Dissertation
129 p.
Löbel, Raphaela
Linear Tree Transducers
2020
Dissertation
120 p.
Henze, Dominic
Dynamically Scalable Fog Architectures
2020
Dissertation
310 p.
Deng, Haowen
Learned 3D Local Features for Rigid Pose Estimation on Point Clouds
2020
Dissertation
167 p.
Avezum, Mariana
SCOUP: A Framework for Sustainable Constraint-based Urban Planning
2020
Dissertation
153 p.
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)
next
Login
