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

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)



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)

Software Engineering in Health Care, 2017, Vol.9062, p.222-238
2017
Volltextzugriff (PDF)

The JBoss extensible server
Lecture notes in computer science, 2003, p.344-373
2003
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.208-219
2005
Volltextzugriff (PDF)

Generative Programming and Component Engineering, 2005, p.237-255
1ère éd, 2005
Volltextzugriff (PDF)


Proceedings of the 1st IFIP TC6 /WG8.8 /WG11.2 international conference on Information security theory and practices: smart cards, mobile and ubiquitous computing systems, 2007, p.189-201
2007
Volltextzugriff (PDF)

Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding, 2020, Vol.1134, p.74-85
2020
Volltextzugriff (PDF)
Aktive Filter
SpracheSpanisch
ThemaPhysical Sciences
KollektionEbook Central Perpetual and DDA
Nur zeigenGeprüft (Peer-Review)
ThemaComputer Science
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt