- 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
Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016
Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016Dyad ranking with generalized Plackett-Luce models
Elektronische Ressource, Paderborn, 2018User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017Modellgetriebener Einsatz von Softwareentwurfsmustern
Elektronische Ressource, Paderborn, 2018Enhancing development and deployment of softwarised network services
Elektronische Ressource, Paderborn, 2020Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021Timing Verifikation von AUTOSAR Softwarearchitekturen
Elektronische Ressource, Paderborn, 2022Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023On the membership and correctness problem for state serializability and value opacity
Elektronische Ressource, Paderborn, 2023