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

Detailseite

Institution

Druckansicht

Siberian Branch of the Russian Academy of Sciences
A.P. Ershov Institute of Informatics Systems

Adresse 6, Acad. Lavrentjev pr.
Novosibirsk 630090
Russische Föderation

Novosibirsk 630090

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Vergleichende Analyse und Verifikation für Verteilte Sicherheitskritische Systeme (CAVER)
    (Antragsteller Müller, Norbert )
  - Wrapping-Darstellungen in Exakter Reeller Arithmetik (WERA)
    (Antragsteller Müller, Norbert )

© 2026 DFG Kontakt / Impressum / Datenschutz