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...
II Neuerungen in Java 12 bis 14
Java - Die Neuerungen in Version 9 Bis 14, 2020
2020
Link zum Volltext

Oracle Database Programming with Java, 2022
2022
Link zum Volltext

Pro Java EE 5 Performance Management and Optimization, 2006
2006
Link zum Volltext

Web Information Systems and Applications, p.638-643
Link zum Volltext

Runtime Verification, p.292-307
Link zum Volltext

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.319-338
2015
Link zum Volltext


The Karlsruhe Java Verification Suite
The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.290-312
2022
Link zum Volltext


Lecture notes in computer science, 2005, p.546-550
2005
Link zum Volltext




Introduction to Java
Computational Life Sciences, 2023, p.21-54
2023
Link zum Volltext



Open Access
Deadlock Detection of Java Bytecode
Logic-Based Program Synthesis and Transformation, p.37-53
Link zum Volltext

Erste Schritte mit Java
Java Schnelleinstieg, 2022
2022
Link zum Volltext


Models, Mindsets, Meta: The What, the How, and the Why Not?, p.310-325
Link zum Volltext

Detection of Intrusions and Malware, and Vulnerability Assessment, p.300-321
Link zum Volltext


Logic-Based Program Synthesis and Transformation, p.118-128
Link zum Volltext


Formal Methods for Components and Objects, 2004, p.42-76
2004
Link zum Volltext
Aktive Filter
PublikationsformTagungsberichte
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n