Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Aggressive aggregation
  • Bestand

Treffer: Aggressive aggregation

Titel:
Aggressive aggregation : (Domain-specific) program optimisation with algebraic decision diagrams / Frederik Jakob Gossen ; Gutachter: Bernhard Steffen ; Betreuer: Tiziana Margaria
Beteiligt:
Gossen, Frederik Jakob (Verfasser) ; Margaria, Tiziana (Akademischer Betreuer); Steffen, Bernhard (Gutachter)
Veröffent­licht:
Dortmund : Universitätsbibliothek Dortmund, 2021
Umfang:
1 Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Dortmund, Technische Universität, 2021
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen