- 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
Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Enhancing development and deployment of softwarised network services
Elektronische Ressource, Paderborn, 2020Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016Dyad ranking with generalized Plackett-Luce models
Elektronische Ressource, Paderborn, 2018Modellgetriebener Einsatz von Softwareentwurfsmustern
Elektronische Ressource, Paderborn, 2018Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016