16 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
zu den Filteroptionen16 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1
The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181
Generalized Hewitt-Nachbin spaces arising in state space completions
In: Functional analysis, holomorphy and approximation theory (Lecture notes in mathematics : 843), Jg. 1981, S. 296-318Generating interpreters from compiler specifications
Paderborn, 1994Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Elektronische Ressource, Paderborn, 2018Geospatial link discovery with human in the loop
Elektronische Ressource, Paderborn, 2024Global solutions of some chemotaxis systems
Elektronische Ressource, Paderborn, 2018Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016Group theoretical aspects of Gödel's cosmological model
In: Jahrbuch der Gödel Gesellschaft, Jg. 1991, S. 3-11Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021