307 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
zu den Filteroptionen307 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181Generating 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, 2024Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021How to apply haptic signals on bicycles for safety
Elektronische Ressource, Paderborn, 2019How to find long paths efficiently
In: Annals of Discrete Mathematics, Jg. 25.1985, S. 239-254Human factors in open source security
Elektronische Ressource, Paderborn, 2024Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 114-139Improvement of software requirements quality based on systems engineering
Elektronische Ressource, Paderborn, 2019Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Jg. 1990, S. 259-273