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...
Journal of physics. Condensed matter, 2010-11, Vol.22 (45), p.454116-454116
2010
Volltextzugriff (PDF)




Science of computer programming, 2014-11, Vol.94, p.333-361
2014
Volltextzugriff (PDF)

Spaces of Continuous Functions
1st ed. 2016., 2016
Volltextzugriff (PDF)

Science of computer programming, 2011-08, Vol.76 (8), p.711-735
2011
Volltextzugriff (PDF)


Towards a Proof Method for Paradigm
Theory and Practice of Formal Methods, p.242-260
Volltextzugriff (PDF)

1. Aufl., 2005
Volltextzugriff (PDF)

Formal Aspects of Component Software, p.125-144
Volltextzugriff (PDF)

Experimental mechanics, 2014-02, Vol.54 (2), p.153-163
2014
Volltextzugriff (PDF)


Leveraging Applications of Formal Methods, Verification, and Validation, p.143-159
Volltextzugriff (PDF)

Open Access
Formalizing Adaptation On-the-Fly
Electronic notes in theoretical computer science, 2009-11, Vol.255, p.23-44
2009
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2009-07, Vol.229 (2), p.3-20
2009
Volltextzugriff (PDF)

Delegation Modeling with Paradigm
Coordination Models and Languages, 2005, p.94-108
2005
Volltextzugriff (PDF)

Coordination Models and Languages, 2002, p.191-206
2002
Volltextzugriff (PDF)


Electronic notes in theoretical computer science, 2006-05, Vol.150 (3), p.93-113
2006
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2006-03, Vol.150 (1), p.127-142
2006
Volltextzugriff (PDF)

Canadian field-naturalist, 1994, Vol.108 (2), p.229-229
1994
Volltextzugriff (PDF)


The Stone-Weierstrass Theorem
Spaces of Continuous Functions, 2016, Vol.4, p.22-28
2016
Volltextzugriff (PDF)

Computer methods and programs in biomedicine, 2001, Vol.64 (1), p.9-35
2001
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt