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...
Theoretical computer science, 2005-11, Vol.346 (1), p.96-112
2005
Volltextzugriff (PDF)

2024 IEEE 31st Symposium on Computer Arithmetic (ARITH), 2024, p.108-115
2024
Volltextzugriff (PDF)


NASA Formal Methods, 2011, p.177-191
2011
Volltextzugriff (PDF)


Lecture notes in computer science, 2005, p.98-113
2005
Volltextzugriff (PDF)

IEEE transactions on computers, 2018-03, Vol.67 (3), p.449-456
2018
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.1-16
2005
Volltextzugriff (PDF)

Open Access
A HOL Theory of Euclidean Space
Lecture notes in computer science, 2005, p.114-129
2005
Volltextzugriff (PDF)

Meta Reasoning in ACL2
Lecture notes in computer science, 2005, p.163-178
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.294-309
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.278-293
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.130-146
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.179-194
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.211-226
2005
Volltextzugriff (PDF)


Lecture notes in computer science, 2005, p.147-162
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.385-396
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.326-341
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.373-384
2005
Volltextzugriff (PDF)

Verification of BDD Normalization
Lecture notes in computer science, 2005, p.261-277
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.66-81
2005
Volltextzugriff (PDF)

A Generic Network on Chip Model
Lecture notes in computer science, 2005, p.310-325
2005
Volltextzugriff (PDF)


Shallow Lazy Proofs
Lecture notes in computer science, 2005, p.35-49
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n