20 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten 2
zu den Filteroptionen20 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten
2
Bewertung automatisch erkannter Instanzen von Software-Mustern
Elektronische Ressource, Paderborn, 2018Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
Elektronische Ressource, Paderborn, 2019Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Elektronische Ressource, Paderborn, 2018Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018Local strategies for swarm formations on a grid
Elektronische Ressource, Paderborn, 2018Modellgetriebener Einsatz von Softwareentwurfsmustern
Elektronische Ressource, Paderborn, 2018On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Elektronische Ressource, Paderborn, 2017Towards automated service composition under quality constraints
Elektronische Ressource, Paderborn, 2017User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017