- 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
Model-Driven software modernization
concept-based engineering of situation-specific methodsElektronische Ressource, Paderborn, 2016
Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
11. und 12. Mai 2017 Heinz Nixdorf MuseumsForum, PaderbornElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017Early performance analysis of automation systems based on systems engineering models
Elektronische Ressource, Paderborn, 2017Adapting taint analyses for detecting security vulnerabilities
Elektronische Ressource, Paderborn, 2022Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019Model-driven information flow security engineering for cyber-physical systems
Elektronische Ressource, Paderborn, 2020CogniCrypt - the secure integration of cryptographic software
Elektronische Ressource, Paderborn, 2020Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020Computing on encrypted data using trusted execution environments
Elektronische Ressource, Paderborn, 2021Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021