Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Fundamental Approaches to Software Engineering, p.470-485
Volltextzugriff (PDF)



Journal of Chromatography A, 2020-12, Vol.1633, p.461630, Article 461630
2020
Volltextzugriff (PDF)


Journal of Chromatography A, 2016-09, Vol.1462, p.55-62
2016
Volltextzugriff (PDF)

Refinement Selection
Model Checking Software, p.20-38
Volltextzugriff (PDF)

Journal of Chromatography A, 2015-12, Vol.1423, p.71-78
2015
Volltextzugriff (PDF)

Computer Aided Verification, p.139-154
Volltextzugriff (PDF)

The Data Parallel Programming Model, 2005, p.79-103
2005
Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems, p.249-264
Volltextzugriff (PDF)


Aligators for Arrays (Tool Paper)
Logic for Programming, Artificial Intelligence, and Reasoning, p.348-356
Volltextzugriff (PDF)



Total correctness for procedures
Mathematical Foundations of Computer Science 1977, 2005, p.475-483
2005
Volltextzugriff (PDF)



Loop Control Statements
Data Wrangling with R, p.183-197
Volltextzugriff (PDF)

Computers & industrial engineering, 1990, Vol.18 (3), p.373-380
1990
Volltextzugriff (PDF)

Array Dataflow Analysis
Compiler Optimizations for Scalable Parallel Systems, p.173-219
Volltextzugriff (PDF)

2013 UKSim 15th International Conference on Computer Modelling and Simulation, 2013, p.593-599
2013
Volltextzugriff (PDF)

2008 IEEE/PES Transmission and Distribution Conference and Exposition, 2008, p.1-6
2008
Volltextzugriff (PDF)


IEEE transactions on industrial electronics (1982), 2016-02, Vol.63 (2), p.1230-1238
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt