12 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
zu den Filteroptionen12 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Elektronische Ressource, Paderborn, 2018Geospatial link discovery with human in the loop
Elektronische Ressource, Paderborn, 2024Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021