- All Titles
- 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
Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017
Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016Computing on encrypted data using trusted execution environments
Elektronische Ressource, Paderborn, 2021Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019Early performance analysis of automation systems based on systems engineering models
Elektronische Ressource, Paderborn, 2017Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
11. und 12. Mai 2017 Heinz Nixdorf MuseumsForum, PaderbornElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität 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, 2016A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021Challenges in information representation with augmented reality for procedural task support
Elektronische Ressource, Paderborn, 2024User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023Adapting taint analyses for detecting security vulnerabilities
Elektronische Ressource, Paderborn, 2022