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

Detailseite

Institution

Druckansicht

Technische Universität Darmstadt
Institut für Datentechnik
Fachgebiet Rechnersysteme

Adresse Merckstraße 25
64283 Darmstadt
Deutschland

GERiT Diese Institution in GERiT

64283 Darmstadt

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Automatisierte Verifikation algorithmischer Beschreibungen
    (Antragsteller Eveking, Hans )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 749: Systemintegration für ubiquitäres Rechnen in der Informationstechnik
    (Sprecher Glesner, Manfred )

© 2024 DFG Kontakt / Impressum / Datenschutz