33 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
zu den Filteroptionen33 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1
Special values of L-functions
Elektronische Ressource, Paderborn, 2023
Specification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024
Spectra of higher rank locally symmetric spaces
Elektronische Ressource, Paderborn, 2023
Spectral correspondences for locally symmetric spaces - the case of exceptional parameters
Elektronische Ressource, Paderborn, 2023
Subsets of finite general linear groups
Paderborn, 2025
Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019
A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019

Systematik zur integrativen Anforderungsanalyse und Testspezifikation für die Entwicklung von Systemen im Automobilbereich
Elektronische Ressource, Paderborn, 2024


Szenariobasierte Synthese verteilter mechatronischer Systeme
Elektronische Ressource, Paderborn, 2016
