44 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
zu den Filteroptionen44 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
On the membership and correctness problem for state serializability and value opacity
Elektronische Ressource, Paderborn, 2023
On the number of almost split sequences with indecomposable middle term
In: The bulletin of the London Mathematical Society, Jg. 1994, S. 422-426On transactions in logic programming languages
In: 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)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Online algorithms for allocating heterogeneous resources
Elektronische Ressource, Paderborn, 2023Online anomaly detection for reconfigurable self-X real-time operating systems
a danger theory-inspired approachElektronische Ressource, Paderborn, 2016Online model checking mechanism and its applications
Elektronische Ressource, PaderbornOperative Begriffsbildung in der Praxis des Geometrieunterrichts
Geometrie des FußballsIn: Beiträge zum Mathematikunterricht, Jg. 1979, S. 56-59Optimization Techniques for Data-Based Control and Machine Learning
Elektronische Ressource, Paderborn, 2023