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