36 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten 1
zu den Filteroptionen36 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten
1
On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Robustifying machine learning through weakening supervision
Elektronische Ressource, Paderborn, 2023Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Separation algorithms for cutting planes based on mixed integer row relaxations
implementation and evaluation in the context of mixed integer programming solver software2009Synchronized 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, 2019A value-centered software engineering approach for unique and novel software-based solutions
aligning design thinking with a coopetition-based evolutionary software developmentElektronische Ressource, Paderborn, 2021Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017