3 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten 1
zu den Filteroptionen3 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten
1
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Elektronische Ressource, Paderborn, 2018
Towards automated service composition under quality constraints
Elektronische Ressource, Paderborn, 2017Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017