4 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Spezielle Computerverfahren 1
zu den Filteroptionen4 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Spezielle Computerverfahren
1
Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016
Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018Modellgetriebener Einsatz von Softwareentwurfsmustern
Elektronische Ressource, Paderborn, 2018Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017