651 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
zu den Filteroptionen651 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1

On the asymptotics of wildly ramified local function field extensions
Elektronische Ressource, Paderborn, 2023

On the Chow ring of the stack of truncated Barsotti-Tate groups and of the Classifying Space of some Chevalley Groups
Elektronische Ressource, Paderborn, 2016


On the design and implementation of reliable and economical telematics software architectures for embedded systems
a domain-specific framework2010

On the membership and correctness problem for state serializability and value opacity
Elektronische Ressource, Paderborn, 2023


On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017
Online algorithms for allocating heterogeneous resources
Elektronische Ressource, Paderborn, 2023
Online anomaly detection for reconfigurable self-X real-time operating systems
a danger theory-inspired approachElektronische Ressource, Paderborn, 2016

Online model checking mechanism and its applications
Elektronische Ressource, Paderborn




