22 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für InformatikKlassifikationSchliessenFilter
zu den Filteroptionen22 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
Klassifikation
Schliessen
Filter
On a subclass of pseudopolynomial problems
Monien, BurkhardIn: Mathematical Foundations of Computer Science, Jg. 9, S. 414-425On Cloud Assisted, Restricted, and Resource Constrained Scheduling
Pukrop, Simon ; Meyer auf der Heide, FriedhelmElektronische Ressource, Paderborn, 2023On scheduling with setup times
Mäcker, Alexander ; Meyer auf der Heide, Friedhelm ; Jansen, KlausElektronische Ressource, Paderborn, 2019On the membership and correctness problem for state serializability and value opacity
König, Jürgen ; Wehrheim, HeikeElektronische Ressource, Paderborn, 2023On transactions in logic programming languages
Böttcher, StefanIn: Logic programming : proceedings of the Eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991]On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)Haake, Claus-Jochen (Hrsg.) ; Meyer auf der Heide, Friedhelm (Hrsg.) ; Platzner, Marco (Hrsg.) ; Wachsmuth, Henning (Hrsg.) ; Wehrheim, Heike (Hrsg.)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine ; Wehrheim, Heike ; Beyer, Dirk ; Bodden, Eric ; Platzner, Marco ; Platenius, Marie ChristinElektronische Ressource, Paderborn, 2017Online algorithms for allocating heterogeneous resources
Knollmann, Till ; Meyer auf der Heide, Friedhelm ; Disser, Yann ; Scheideler, ChristianElektronische Ressource, Paderborn, 2023Online anomaly detection for reconfigurable self-X real-time operating systems
a danger theory-inspired approachStahl, Katharina ; Rammig, Franz JosefElektronische Ressource, Paderborn, 2016Online model checking mechanism and its applications
Zhao, Yuhong ; Rammig, Franz Josef ; Glässer, UweElektronische Ressource, Paderborn