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...

Open Access
Sequent Calculi and Abstract Machines
ACM transactions on programming languages and systems, 2009-05, Vol.31 (4), p.1-48
2009
Volltextzugriff (PDF)

Open Access
Reactive noninterference
Proceedings of the 16th ACM conference on Computer and communications security, 2009, p.79-90
2009
Volltextzugriff (PDF)

Foundations of web script security
2012
Volltextzugriff (PDF)

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2008, p.407-419
2008
Volltextzugriff (PDF)

Open Access
Nominal Reasoning Techniques in Coq
Electronic notes in theoretical computer science, 2007-06, Vol.174 (5), p.69-77
2007
Volltextzugriff (PDF)

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, 2006, p.338-347
2006
Volltextzugriff (PDF)

SIGPLAN notices, 2008-01, Vol.43 (1), p.407-419
2008
Volltextzugriff (PDF)


Journal of Physical Therapy Science, 2017, Vol.29(11), pp.2039-2043
2017
Volltextzugriff (PDF)




Journal of Physical Therapy Science, 2017, Vol.29 (11), p.2039-2043
2017
Volltextzugriff (PDF)






The global challenge for skin health
British journal of dermatology (1951), 2015-06, Vol.172 (6), p.1469-1472
2015
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n