- 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
Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017
Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016Safety 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, 2020User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019CogniCrypt - the secure integration of cryptographic software
Elektronische Ressource, Paderborn, 2020