mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(2930)
2023
(7321)
2022
(8635)
2021
(8884)
2020
(8178)
2019
(8873)
2018
(8706)
Fakultäten
(7975)
Architektur
(163)
Bau Geo Umwelt
(970)
Chemie
(185)
Elektrotechnik und Informationstechnik
(1342)
Informatik
(536)
Informatik 1 - Lehrstuhl für Angewandte Softwaretechnik (Prof. Brügge)
(4)
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 Data Mining and Analytics (Prof. Günnemann)
Informatik 4 - Lehrstuhl für Software und Systems Engineering (Prof. Broy)
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
(23)
Informatik 5 - Professur für Wissenschaftliches Rechnen (Prof. Huckle)
(1)
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 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
(28)
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)
(3)
Informatik 6 - Lehrstuhl für Echtzeitsysteme und Robotik (Prof. Knoll)
(71)
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Informatik 8 - Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(41)
Informatik 9 - Professur für Informatik mit Schwerpunkt Intelligente Autonome Systeme (N.N.)
(1)
Informatik 9 - Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(1)
Informatik 9 - Professur für Dynamic Vision and Learning (Leal-Taixe)
Informatik 10 - Professur für Architektur paralleler und verteilter Systeme - (Prof. Gerndt)
(2)
Informatik 10 - Lehrstuhl für Rechnertechnik und Rechnerorganisation (Prof. Schulz)
(6)
Informatik 11 - Professur für Programmierung und Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
Informatik 11 - Lehrstuhl für Angewandte Informatik / Kooperative Systeme (Prof. Schlichter)
(1)
Informatik 11 - Lehrstuhl für Connected Mobility (Prof. Ott)
(18)
Informatik 12 - Lehrstuhl für Bioinformatik (Prof. Rost)
(4)
Informatik 12 - Professur für Computational Biology (Prof. Gagneur)
(1)
Informatik 13 - Professur für Vernetzte Rechensysteme (Prof. Baumgarten)
(1)
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)
Informatik 14 - Lehrstuhl für Effiziente Algorithmen (N.N.)
(1)
Informatik 15 - Assistant Professorship Games Engineering (Prof. Thuerey)
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)
(5)
Informatik 16 - Professur für Erweiterte Realität - (Prof. Klinker)
(3)
Informatik 16 - Lehrstuhl für Anwendungen in der Medizin (Prof. Navab)
(123)
Informatik 17 - Lehrstuhl für Wirtschaftsinformatik (Prof. Krcmar)
(92)
Informatik 18 - Professur für Algorithmische Spieltheorie (Prof. Brandt)
(1)
Informatik 18 - Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
(15)
Informatik 19 - Lehrstuhl für Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
(2)
Informatik 20 - Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(2)
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)
Maschinenwesen
(1291)
Mathematik
(128)
Medizin
(710)
Physik
(273)
Sport- und Gesundheitswissenschaften
(294)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(83)
TUM School of Education
(181)
TUM School of Governance
(64)
Wirtschaftswissenschaften
(464)
Wissenschaftszentrum Weihenstephan
(1296)
Integrated Research Centers
(481)
Zentrale Einrichtungen
(252)
2017
(8694)
2016
(8829)
2015
(8221)
2014
(7133)
2013
(6750)
2012
(5780)
2011
(5563)
2010
(5420)
2009
(4595)
2008
(4104)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Fakultäten
Informatik
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Dokumenttyp:
Konferenzbeitrag
Autor(en):
Althoff, M.; Grebenyuk, D.; Kochdumper, N.
Titel:
Implementation of Taylor Models in CORA 2018
Kongress- / Buchtitel:
Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems
Jahr:
2018
Seiten:
145-173
Volltext / DOI:
doi:10.29007/zzc7
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
2018
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Fakultäten
Informatik
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)