mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
 
Login
de
en
Advanced search
mediaTUM Content
University Bibliography
Electronic Examination Papers
Subject
(17653)
Faculty
(18100)
TUM School of Governance
(22)
Fakultät für Sport- und Gesundheitswissenschaften
(149)
Fakultät für Luftfahrt, Raumfahrt und Geodäsie
(44)
Faculty of Architecture
(280)
Faculty of Civil Engineering and Surveying
(743)
Department of Chemistry
(1801)
Department of Electrical and Computer Engineering
(1396)
Faculty of Informatics
(1254)
Faculty of Mechanical Engineering
(2217)
Faculty of Mathematics
(396)
Faculty of Medicine
(4622)
Physics Department
(1631)
TUM School of Management
(601)
Center of Life and Food Sciences Weihenstephan
(2799)
Fakultät TUM School of Education
(119)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(26)
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
Fakultät
Fakultät für Informatik
Sort by:
Eingabe
Eingabe (descending)
Autor
Autor (descending)
Titel
Titel (descending)
Typ
Typ (descending)
Jahr
Jahr (descending)
and:
Eingabe
Eingabe (descending)
Autor
Autor (descending)
Titel
Titel (descending)
Typ
Typ (descending)
Jahr
Jahr (descending)
next
Items per page
5
10
15
20
25
50
Mündler, Niels
A Verified Imperative Implementation of B-Trees
Bachelorarbeit
2021
Griebel, Simon
Verification of the Decrease-Key Operation in Fibonacci Heaps in Imperative HOL
Masterarbeit
2020
Bernhard Pöttinger
Verification of the Flow Framework from “Local Reasoning for Global Graph Properties”
Masterarbeit
2020
Issar Arab
Variational Inference to Learn Representations for Protein Evolutionary Information
Masterarbeit
2020
Salma Farag
Passive WiFi-based Indoor Localization With Semantic Correction
Masterarbeit
2019
Vanecek, Stepan
Design, Implementation and Test of Efficient GPU to GPU Communication Methods
Masterarbeit
2020
Martin Knudsen
Neural Networks on Continuous-Variable Quantum Computers
Masterarbeit
2020
Leo Hanisch
Detecting Vague Requirements with Machine Learning
Masterarbeit
2020
Matthias Kübrich
Integration and Test of RUST Tool Support for MPI
Bachelorarbeit
2020
Wimmer, Simon
Trustworthy Verification of Realtime Systems
2020
Dissertation
177 p.
Sort by:
Eingabe
Eingabe (descending)
Autor
Autor (descending)
Titel
Titel (descending)
Typ
Typ (descending)
Jahr
Jahr (descending)
and:
Eingabe
Eingabe (descending)
Autor
Autor (descending)
Titel
Titel (descending)
Typ
Typ (descending)
Jahr
Jahr (descending)
next