Auflistung nach Autor "Lange, Christoph"
Anzeige der Dokumente 1-2 von 2
-
Applying mechanised reasoning in economics – Making reasoners applicable for domain experts
Lange, Christoph; Kerber, Manfred; Rowat, Colin
153-156 -
Optimizing resource topologies of workload in the cloud by minimizing consumption and maximizing utilization while still meeting service level agreements
Mega, Cataldo; Lange, Christoph
873-881