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...
CLEI electronic journal, 2018-08, Vol.8 (1)
2018
Volltextzugriff (PDF)

Open Access
Factorizing fault tolerance
Theoretical computer science, 2003-01, Vol.290 (2), p.1201-1222
2003
Volltextzugriff (PDF)

Journal of high speed networks, 2005, Vol.14 (1), p.59-83
2005
Volltextzugriff (PDF)

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

Lecture notes in computer science, 1999, p.150-206
1999
Volltextzugriff (PDF)

Open Access
Web Cube
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 2006, p.77-92
2006
Volltextzugriff (PDF)

Lecture notes in computer science, 1999, p.112-131
1999
Volltextzugriff (PDF)

Information processing letters, 1982-08, Vol.15 (1), p.20-22
1982
Volltextzugriff (PDF)

Formal aspects of computing, 1993, Vol.5 (1), p.21-60
1993
Volltextzugriff (PDF)

Theoretical computer science, 2003, Vol.290 (2), p.1201-1222
2003
Volltextzugriff (PDF)

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, 2009, Vol.44 (9), p.245-256
2009
Volltextzugriff (PDF)

Open Access
Dependently Typed Programming in Agda
Advanced Functional Programming, 2009, Vol.5832 LNCS, p.230-266
2009
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2001-08, Vol.41 (1), p.38-59
2001
Volltextzugriff (PDF)

Open Access
Higher order attribute grammars
SIGPLAN notices, 1989-07, Vol.24 (7), p.131-145
1989
Volltextzugriff (PDF)


Open Access
Higher order attribute grammars
Conference on Programming Language Design and Implementation: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation; 19-23 June 1989, 1989, p.131-145
1989
Volltextzugriff (PDF)

Nuclear physics. B, 1976-01, Vol.109 (2), p.322-346
1976
Volltextzugriff (PDF)

Smart cabling: an overview
Proceedings of the 4th workshop on ACM SIGOPS European workshop, 1990, p.1-5
1990
Volltextzugriff (PDF)

Advanced Functional Programming, p.66-164
Volltextzugriff (PDF)

Scripting the type inference process
Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming, 2003-09, Vol.38 (9), p.3-13
2003
Volltextzugriff (PDF)

Advanced Functional Programming, p.1-38
Volltextzugriff (PDF)


Typing dynamic typing
SIGPLAN notices, 2002-09, Vol.37 (9), p.157-166
2002
Volltextzugriff (PDF)

Spider Spinning for Dummies
Advanced Functional Programming, p.39-65
Volltextzugriff (PDF)

Polish parsers, step by step
Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming, 2003-09, Vol.38 (9), p.239-248
2003
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n