mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(5176)
2023
(7949)
2022
(8728)
2021
(8933)
2020
(8190)
2019
(8865)
Fakultäten
(8172)
Architektur
(114)
Bau Geo Umwelt
(809)
Chemie
(169)
Elektrotechnik und Informationstechnik
(1229)
Informatik
(537)
Informatik 1 - Lehrstuhl für Angewandte Softwaretechnik (Prof. Brügge)
(4)
Informatik 1 - Professur für Digital Health (Prof. Jonas)
Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
(1)
Informatik 3 - Lehrstuhl für Datenbanksysteme (Prof. Kemper)
Informatik 3 - Professur für Database Systems (Prof. Giceva)
Informatik 3 - Professur für Data Mining and Analytics (Prof. Günnemann)
(1)
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
(22)
Informatik 4 - Lehrstuhl für Software und Systems Engineering (Prof. Broy)
Informatik 5 - Professur für Wissenschaftliches Rechnen (Prof. Huckle)
Informatik 5 - Lehrstuhl für Wissenschaftliches Rechnen (Prof. Bungartz)
(83)
Informatik 5 - Professur für Hardware-nahe Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
(5)
Informatik 5 - Professur für Quantum Computing (Prof. Mendl)
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
(18)
Informatik 6 - Professur für Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
(1)
Informatik 6 - Professur für Informatik mit Schwerpunkt Telerobotik und Sensordatenfusion - (Prof. Burschka)
(1)
Informatik 6 - Lehrstuhl für Echtzeitsysteme und Robotik (Prof. Knoll)
(135)
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
(3)
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)
(37)
Informatik 9 - Professur für Informatik mit Schwerpunkt Intelligente Autonome Systeme (N.N.)
Informatik 9 - Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(5)
Informatik 9 - Professur für Dynamic Vision and Learning (Leal-Taixe)
Informatik 10 - Professur für Architektur paralleler und verteilter Systeme - (Prof. Gerndt)
(1)
Informatik 10 - Lehrstuhl für Rechnerarchitektur & Parallele Systeme (Prof. Schulz)
(1)
Informatik 11 - Professur für Programmierung und Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
(1)
Informatik 11 - Lehrstuhl für Angewandte Informatik / Kooperative Systeme (Prof. Schlichter)
Informatik 11 - Lehrstuhl für Connected Mobility (Prof. Ott)
(18)
Informatik 12 - Lehrstuhl für Bioinformatik (Prof. Rost)
(1)
Informatik 12 - Professur für Computational Biology (Prof. Gagneur)
(2)
Informatik 13 - Professur für Vernetzte Rechensysteme (Prof. Baumgarten)
(3)
Informatik 13 - Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
Informatik 14 - Professur für Theoretische Informatik - (Prof. Räcke)
Informatik 14 - Lehrstuhl für Algorithmen und Komplexität (Prof. Albers)
(1)
Informatik 14 - Lehrstuhl für Effiziente Algorithmen (N.N.)
Informatik 15 - Assistant Professorship Games Engineering (Prof. Thuerey)
(1)
Informatik 15 - Lehrstuhl für Grafik und Visualisierung (Prof. Westermann)
Informatik 15 - Professur für Visual Computing (Prof. Nießner)
Informatik 16 - Assistant Professorship Bildbasierte biomedizinische Modellierung (Prof. Menze)
(2)
Informatik 16 - Professur für Erweiterte Realität - (Prof. Klinker)
(4)
Informatik 16 - Lehrstuhl für Anwendungen in der Medizin (Prof. Navab)
(90)
Informatik 17 - Lehrstuhl für Wirtschaftsinformatik (Prof. Krcmar)
(78)
Informatik 18 - Professur für Algorithmische Spieltheorie (Prof. Brandt)
(1)
Informatik 18 - Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
(14)
Informatik 19 - Lehrstuhl für Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
(2)
Informatik 20 - Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(5)
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)
(1)
Informatik 24 - Lehrstuhl für Cyber Trust (Prof. Grossklags)
Informatik 25 - Lehrstuhl für Data Science and Engineering (Prof. Neumann)
Luftfahrt, Raumfahrt und Geodäsie
(504)
Maschinenwesen
(1235)
Mathematik
(163)
Medizin
(761)
Physik
(254)
Sport- und Gesundheitswissenschaften
(355)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(111)
TUM School of Education
(138)
TUM School of Governance
(104)
Wirtschaftswissenschaften
(380)
Wissenschaftszentrum Weihenstephan
(1317)
Integrated Research Centers
(437)
Zentrale Einrichtungen
(256)
2018
(8662)
2017
(8686)
2016
(8831)
2015
(8220)
2014
(7148)
2013
(6755)
2012
(5774)
2011
(5563)
2010
(5427)
2009
(4595)
2008
(4109)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Informatik
Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow)
Sortieren nach:
Autor (Nachname, Vorname)
Autor (Nachname, Vorname) (absteigend)
Serienbandnummer
Serienbandnummer (absteigend)
Institution
Institution (absteigend)
Titel der Arbeit
Titel der Arbeit (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
und:
Autor (Nachname, Vorname)
Autor (Nachname, Vorname) (absteigend)
Serienbandnummer
Serienbandnummer (absteigend)
Institution
Institution (absteigend)
Titel der Arbeit
Titel der Arbeit (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
Artikel pro Seite
10
20
50
100
Mehr ...
Hupel, Lars
Verified Code Generation from Isabelle/HOL
2019
Dissertation
149 Seiten
Login
