88 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
jump to filter-options88 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
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, 2023Spectral correspondences for locally symmetric spaces - the case of exceptional parameters
Elektronische Ressource, Paderborn, 2023Spectrally ordered Lie algebras
In: Proceedings of the XVI International Colloquium, held at Varna, Bulgaria, June 15 - 20, 1987 (Lecture notes in physics : 313), Vol. 1988, page 11-16Subsemigroups of Lie groups
Darmstadt, 1987Subsets of finite general linear groups
Paderborn, 2025Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019