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...
Oecologia, 2014-10, Vol.176 (2), p.477-486
2014
Volltextzugriff (PDF)


The Journal of nutrition, health & aging, 2010-02, Vol.14 (2), p.136-139
2010
Volltextzugriff (PDF)

Piecewise-smooth Dynamical Systems: Theory and Applications (Applied Mathematical Sciences Series Volume 163), 2008, Vol.163, p.498-498
1. Aufl., 2008
Volltextzugriff (PDF)


Journal of applied entomology (1986), 2017-11, Vol.141 (9), p.702-707
2017
Volltextzugriff (PDF)

1, 2013
Volltextzugriff (PDF)

BDJ open, 2018-04, Vol.4 (1), p.17035-5, Article 17035
2018
Volltextzugriff (PDF)

Formal Methods for Eternal Networked Software Systems, p.256-296
Volltextzugriff (PDF)



Open Access
A Tutorial on Uppaal
Formal Methods for the Design of Real-Time Systems, 2004, p.200-236
2004
Volltextzugriff (PDF)



Stochastic Model Checking
Formal Methods for Performance Evaluation, p.220-270
Volltextzugriff (PDF)

Formal Methods for Eternal Networked Software Systems, p.53-113
Volltextzugriff (PDF)

Journal of the American Society of Nephrology, 2019-10, Vol.30 (10), p.1980-1990
2019
Volltextzugriff (PDF)



Formal Methods for Software Architectures, 2003, p.25-43
2003
Volltextzugriff (PDF)

Formal Methods for Computational Systems Biology, p.215-264
Volltextzugriff (PDF)

Formal Methods for Multicore Programming, 2015, Vol.9104, p.146-178
2015
Volltextzugriff (PDF)


Lecture notes in computer science, 2006, p.108-143
2006
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n