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

Lecture notes in computer science, 2001, Vol.2126, p.40-56
2001
Volltextzugriff (PDF)

Theoretical computer science, 2002-04, Vol.277 (1), p.47-103
2002
Volltextzugriff (PDF)

Programming Language Implementation and Logic Programming, 2005, p.269-295
2005
Volltextzugriff (PDF)

Theoretical computer science, 2003, Vol.290 (1), p.531-544
2003
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, p.138-156
2001
Volltextzugriff (PDF)

Open Access
The ASTREÉ Analyzer
Lecture notes in computer science, 2005, p.21-30
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, Vol.2126, p.356-373
2001
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.135-138
2005
Volltextzugriff (PDF)

Open Access
Abstract interpretation
ACM computing surveys, 1996-06, Vol.28 (2), p.324-328
1996
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, Vol.2126, p.412-430
2001
Volltextzugriff (PDF)

Open Access
Modular Static Program Analysis
Compiler Construction, 2002, Vol.2304, p.159-179
2002
Volltextzugriff (PDF)

Theoretical computer science, 2009-11, Vol.410 (46), p.4724-4746
2009
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, Vol.2126, p.234-259
2001
Volltextzugriff (PDF)

Lecture notes in computer science, 2003, p.20-24
2003
Volltextzugriff (PDF)

Analysis of Multithreaded Programs
Lecture notes in computer science, 2001, Vol.2126, p.1-19
2001
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, Vol.2126, p.194-212
2001
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, Vol.2126, p.111-126
2001
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, Vol.2126, p.260-278
2001
Volltextzugriff (PDF)


Theoretical computer science, 1993-11, Vol.120 (1), p.123-155
1993
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, Vol.2126, p.279-298
2001
Volltextzugriff (PDF)

Lecture notes in computer science, 2001, Vol.2126, p.93-110
2001
Volltextzugriff (PDF)

Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, Portland, Oregon, 16-18 January 2002, 2002-01, Vol.37 (1), p.178-190
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.388-394
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n