- 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 04/01/2024
On the membership and correctness problem for state serializability and value opacity
Elektronische Ressource, Paderborn, 2023
- on 25/08/2023
On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023
- on 18/05/2023
Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023
- on 22/03/2023
Timing Verifikation von AUTOSAR Softwarearchitekturen
Elektronische Ressource, Paderborn, 2022
- on 29/10/2021
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021
- 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

- on 18/06/2012

