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...
Contracts as Pairs of Projections
Functional and Logic Programming, 2006, Vol.3945, p.226-241
2006
Volltextzugriff (PDF)

“Scrap Your Boilerplate” Reloaded
Functional and Logic Programming, 2006, Vol.3945, p.13-29
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.192-207
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.163-176
2006
Volltextzugriff (PDF)

Lecture notes in computer science, 2006, p.130-145
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.208-225
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.47-64
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.65-80
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.81-96
2006
Volltextzugriff (PDF)


Functional and Logic Programming, 2006, Vol.3945, p.114-129
2006
Volltextzugriff (PDF)

WASH Server Pages
Functional and Logic Programming, 2006, Vol.3945, p.277-293
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.259-276
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.146-162
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.242-258
2006
Volltextzugriff (PDF)

Open Access
Ruler: Programming Type Rules
Functional and Logic Programming, 2006, Vol.3945, p.30-46
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.97-113
2006
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, p.2-12
2006
Volltextzugriff (PDF)


Open Access
Lazy Set-Sharing Analysis
Functional and Logic Programming, 2006, Vol.3945, p.177-191
2006
Volltextzugriff (PDF)

Automated Reasoning with Analytic Tableaux and Related Methods, 2005, p.277-291
2005
Volltextzugriff (PDF)

Implementation and Application of Automata, 2003, p.213-225
2003
Volltextzugriff (PDF)



DNA nanorobotics and sequence design
SICE 2004 Annual Conference, 2004, Vol.3, p.2774-2778 vol. 3
2004
Volltextzugriff (PDF)
Aktive Filter
SpracheEnglisch
ThemaExact Sciences And Technology
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n