27 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, SystemeKlassifikationSchliessenFilter1
zu den Filteroptionen27 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
Klassifikation
Schliessen
Filter
1
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 genuinely time bounded computations
Meyer auf der Heide, FriedhelmIn: STACS 1989, Jg. 1989, S. 1-16On scheduling with setup times
Mäcker, Alexander ; Meyer auf der Heide, Friedhelm ; Jansen, KlausElektronische Ressource, Paderborn, 2019On the design and implementation of reliable and economical telematics software architectures for embedded systems
a domain-specific frameworkStehr, Jan2010On the role of test sequence length, model refinement, and test coverage for reliability
Linschulte, Michael2013On 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, PaderbornOntology-based representation of abstract optimization models for model formulation and system generation
Stapel, Florian ; Suhl, Leena ; Mellouli, TaïbElektronische Ressource, Paderborn, 2016An opportunistic routing for automated decentralized structured complex intralogistic material ows with focus on scalability, exibility and robustness [...]
Kopecki, Lukas ; Dangelmaier, Wilhelm ; Suhl, LeenaElektronische Ressource, Paderborn, 2018