mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(5262)
2023
(7955)
2022
(8729)
2021
(8937)
2020
(8190)
2019
(8865)
2018
(8662)
2017
(8686)
2016
(8831)
2015
(8220)
Fakultäten
(7451)
Architektur
(121)
Bau Geo Umwelt
(924)
Chemie
(473)
Elektrotechnik und Informationstechnik
(1251)
Informatik
(503)
Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(4)
Lehrstuhl für Connected Mobility (Prof. Ott)
(8)
Lehrstuhl für Cyber Trust (Prof. N.N.)
Lehrstuhl für Informatik 12 / Bioinformatik (Prof. Rost)
(2)
Lehrstuhl für Informatik 1 / Angewandte Softwaretechnik (Prof. Brügge)
(4)
Lehrstuhl für Informatik 2 / Sprachen und Beschreibungsstrukturen (Prof. Seidl)
(2)
Lehrstuhl für Informatik 3 / Datenbanksysteme (Prof. Kemper)
(2)
Lehrstuhl für Informatik 4 / Software und Systems Engineering (Prof. Broy)
Lehrstuhl für Informatik 5 / Wissenschaftliches Rechnen (Prof. Bungartz)
(41)
Lehrstuhl für Informatik 6 / Echtzeitsysteme und Robotik (Prof. Knoll)
(123)
Lehrstuhl für Informatik 7 / Theoretische Informatik (Prof. Esparza)
(2)
Lehrstuhl für Informatik / Angewandte Informatik - Kooperative Systeme (Prof. Schlichter)
(3)
Lehrstuhl für Informatik / Effiziente Algorithmen (Prof. N.N.)
(7)
Lehrstuhl für Informatik / Grafik und Visualisierung (Prof. Westermann)
(4)
Lehrstuhl für Informatik / Informatik-Anwendungen in der Medizin (Prof. Navab)
(137)
Lehrstuhl für Informatik / Rechnertechnik und Rechnerorganisation (Prof. Bode)
(6)
Lehrstuhl für Informatik / Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
Lehrstuhl für Informatik / Wirtschaftsinformatik (Prof. Krcmar)
(54)
Lehrstuhl für Logik und Verifikation in der Informatik (Prof. Nipkow)
(1)
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(34)
Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)
(1)
Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(3)
Lehrstuhl für Theoretische Informatik (Prof. Albers)
(1)
Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
(6)
Professur für Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
(3)
Professur für Algorithmische Spieltheorie (Prof. Brandt)
Professur für Architektur paralleler und verteilter Systeme (Prof. Gerndt)
Professur für Bildbasierte biomedizinische Modellierung (Prof. Menze)
Professur für Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
(1)
Professur für Cyber Physical Systems (Prof. Althoff)
(11)
Professur für Datenbanksysteme (Prof. Neumann)
Professur für Erweiterte Realität (Prof. Klinker)
(22)
Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Professur für Games Engineering (Prof. Thuerey)
Professur für Intelligente Autonome Systeme (Prof. N.N.)
(2)
Professur für Programmierung / Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
Professur für Telerobotik und Sensordatenfusion (Prof. Burschka)
Professur für Theoretische Informatik (Prof. Räcke)
Professur für Vernetzte Rechensysteme (Prof. Baumgarten)
(8)
Professur für Wissenschaftliches Rechnen (Prof. Huckle)
Stiftungslehrstuhl für Software Engineering (Prof. Pretschner)
(16)
Maschinenwesen
(1271)
Mathematik
(185)
Medizin
(591)
Physik
(212)
Sport- und Gesundheitswissenschaften
(175)
TUM School of Education
(133)
Wirtschaftswissenschaften
(334)
Wissenschaftszentrum Weihenstephan
(1280)
Integrated Research Centers
(497)
Zentrale Einrichtungen
(272)
2014
(7148)
2013
(6755)
2012
(5774)
2011
(5563)
2010
(5427)
2009
(4595)
2008
(4109)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2015
Fakultäten
Informatik
Lehrstuhl für Logik und Verifikation in der Informatik (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 ...
Traytel, Dmytro
Formalizing Symbolic Decision Procedures for Regular Languages
2015
Dissertation
132 p.
Login
