310 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
zu den Filteroptionen310 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
Frameworks and methodologies for search-based approximate logic synthesis
Elektronische Ressource, Paderborn, 2022
From Continuous Parametrizations to Discrete Hexahedral Meshes
Reliable Algorithms for a Versatile PipelinePaderborn, 2026Fuzzy 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, 2019