- Alle Titel
- Besondere Sammlungen
- Veröffentlichungen der Universität
- Universitätsleitung/-verwaltung
- Fakultät für Kulturwissenschaften
- Fakultät für Wirtschaftswissenschaften
- Fakultät für Naturwissenschaften
- Fakultät für Maschinenbau
- Fakultät für Elektrotechnik, Informatik und Mathematik
- Universitätsbibliothek
- Heinz Nixdorf Institut (HNI)
- Zentrum für Bildungsforschung und Lehrerbildung
- Zentrum für Informations- und Medientechnologien
- Sonstige Einrichtungen / Externe
Online model checking mechanism and its applications
Elektronische Ressource, Paderborn

Ontology-based representation of abstract optimization models for model formulation and system generation
Elektronische Ressource, Paderborn, 2016



Optimized down-conversion source and state-characterization tools for quantum optics
Elektronische Ressource, Paderborn, 2016


Ordered attributed grammars
In: Acta Informatica, Jg. 13.1980 H. 3, S. 229-256
