- 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
- on 21/01/2020
Enhancing development and deployment of softwarised network services
Elektronische Ressource, Paderborn, 2020
- on 24/10/2019
User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019
- on 03/01/2019
Dyad ranking with generalized Plackett-Luce models
Elektronische Ressource, Paderborn, 2018
- on 02/07/2018
Modellgetriebener Einsatz von Softwareentwurfsmustern
Elektronische Ressource, Paderborn, 2018
- on 08/05/2018
Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018
- on 11/12/2017
Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017
- on 08/06/2017
On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017
- on 15/09/2016
Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016
- on 27/05/2016
Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016
- on 17/03/2016
Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016
- on 17/06/2015
- on 15/04/2015
- on 04/07/2013
- on 26/06/2012