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


A Java Bytecode Formalisation
Verified Software. Theories, Tools, and Experiments, 2018, Vol.11294, p.135-154
2018
Volltextzugriff (PDF)

Verified Software. Theories, Tools, and Experiments, 2016, Vol.9971, p.139-148
2016
Volltextzugriff (PDF)



Smart Card Research and Advanced Applications, 2017, Vol.10146, p.122-136
2017
Volltextzugriff (PDF)

Proceedings of the Third international conference on Engineering secure software and systems, 2011, p.43-57
2011
Volltextzugriff (PDF)

Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, 2010, p.258-272
2010
Volltextzugriff (PDF)

Distributed Applications and Interoperable Systems, 2010, p.155-168
2010
Volltextzugriff (PDF)



Grid Security
The Grid, 2005, p.121-152
2005
Volltextzugriff (PDF)


Development Frameworks
Software Paradigms, 2005, p.390-403
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.439-458
2004
Volltextzugriff (PDF)





Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, 2011, p.165-178
2011
Volltextzugriff (PDF)



Proceedings of the 14th international conference on Model driven engineering languages and systems, 2011, p.410-424
2011
Volltextzugriff (PDF)

The JBoss extensible server
Lecture notes in computer science, 2003, p.344-373
2003
Volltextzugriff (PDF)
Aktive Filter
SpracheSpanisch
ThemaPhysical Sciences
KollektionEbook Central Perpetual and DDA
ThemaComputer Science
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n