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...
Computers (Basel), 2021, Vol.10 (6), p.79
2021
Volltextzugriff (PDF)


Engineering applications of artificial intelligence, 2018-04, Vol.70, p.52-66
2018
Volltextzugriff (PDF)

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, p.211-229
Volltextzugriff (PDF)

Engineering Secure Software and Systems, p.216-232
Volltextzugriff (PDF)


Foreword
Theoretical computer science, 2018-09, Vol.741, p.1-2
2018
Volltextzugriff (PDF)


SN computer science, 2022-11, Vol.3 (6), p.496-496, Article 496
2022
Volltextzugriff (PDF)




2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 2024, p.335-341
2024
Volltextzugriff (PDF)

Open Access
What’s in a Theorem Name?
Interactive Theorem Proving, p.459-465
Volltextzugriff (PDF)


Lecture notes in computer science, 2000, p.38-43
2000
Volltextzugriff (PDF)

Open Access
Towards Formal Proof Metrics
Fundamental Approaches to Software Engineering, p.325-341
Volltextzugriff (PDF)

ECOOP 2008 – Object-Oriented Programming, p.27-51
Volltextzugriff (PDF)




Policy & Internet, 2010-04, Vol.2 (1), p.99-115
2010
Volltextzugriff (PDF)

2021 IEEE Security and Privacy Workshops (SPW), 2021, p.19-24
2021
Volltextzugriff (PDF)

Open Access
A program logic for resources
Theoretical computer science, 2007-12, Vol.389 (3), p.411-445
2007
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2015, Vol.9364, p.221-227
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt