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

The Karlsruhe Java Verification Suite
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.290-312
2022
Volltextzugriff (PDF)

Integrated Formal Methods, p.113-133
Volltextzugriff (PDF)



A Fusion of Artificial Intelligence and Internet of Things for Emerging Cyber Systems, 2022, Vol.210, p.243-259
2022
Volltextzugriff (PDF)



OOP- und Java-Crashkurs
Einführung in JavaFX/OpenJFX, 2022, p.341-361
2022
Volltextzugriff (PDF)

Detection of Intrusions and Malware, and Vulnerability Assessment, p.300-321
Volltextzugriff (PDF)

Java Servlets
Object-Oriented Programming and Java, p.259-277
Volltextzugriff (PDF)

Models, Mindsets, Meta: The What, the How, and the Why Not?, p.310-325
Volltextzugriff (PDF)

Open Access
Reflection Analysis for Java
Lecture notes in computer science, 2005, Vol.3780, p.139-160
2005
Volltextzugriff (PDF)


Logic-Based Program Synthesis and Transformation, p.118-128
Volltextzugriff (PDF)

Tools and Methods of Program Analysis, p.155-167
Volltextzugriff (PDF)





Collaborative Computing: Networking, Applications and Worksharing, p.265-283
Volltextzugriff (PDF)


Security and Trust Management, p.204-208
Volltextzugriff (PDF)


Aktive Filter
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt