Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Person
Professor Dr. Norbert Müller
Adresse
Universität Trier
Fachbereich IV - Informatikwissenschaften
Behringstraße
54296 Trier
Projekte
Als Antragsteller
abgeschlossene Projekte
Vergleichende Analyse und Verifikation für Verteilte Sicherheitskritische Systeme (CAVER)
(Sachbeihilfen)
Wrapping-Darstellungen in Exakter Reeller Arithmetik (WERA)
(Sachbeihilfen)
Als Beteiligte Person
abgeschlossene Projekte
Quantitative uniforme Komplexitätstheorie mehrwertiger reeller Funktionen und Operatoren in Analysis
(Sachbeihilfen)
Zusatzinformationen
© 2025
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung
»