- Alle Titel
- Klassifikation (DDC)
- Besondere Sammlungen
- Veröffentlichungen der Universität
- Erzbischöfliche Akademische Bibliothek Paderborn
- Amtliche Mitteilungen. Verkündungsblatt der Universität Paderborn.
- Socioeconomics of personnel papers
- Wirtschaftspädagogische Beiträge
- Verlagsschriftenreihe des Heinz Nixdorf Instituts
- Sammlung J. A. Schmoll gen. Eisenwerth
- Studien der Paderborner Komparatistik
- Paderborner Schriften zur sonderpädagogischen Förderung
- The Encyclopedia of Concise Concepts by Women Philosophers
- Sammlung Ralf-Günter Stefan
- Sonstiges
- Paderborner Historische Mitteilungen
- Sammlung Höxter
- Bibliothekskatalog der Paderborner Kapuziner von 1761
- Zeitzeugen der Digitalisierung
- Erwin Quedenfeldt: Einzelbilder vom Mittelrhein
- Erwin Quedenfeldt: Einzelbilder von der Mosel
CogniCrypt - the secure integration of cryptographic software
Elektronische Ressource, Paderborn, 2020
Early performance analysis of automation systems based on systems engineering models
Elektronische Ressource, Paderborn, 2017Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017Model-driven information flow security engineering for cyber-physical systems
Elektronische Ressource, Paderborn, 2020Model-Driven software modernization
concept-based engineering of situation-specific methodsElektronische Ressource, Paderborn, 2016On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020