Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

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)

© 2024 DFG Kontakt / Impressum / Datenschutz