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...
Second Edition., 1987
Volltextzugriff (PDF)

Foundations of Program Verification
Second Edition., 2013
Volltextzugriff (PDF)

2015 International Conference on Computational Science and Computational Intelligence (CSCI), 2015, p.722-725
2015
Volltextzugriff (PDF)

Computación y Sistemas, 2003-12, Vol.7 (2), p.113-122
2003
Volltextzugriff (PDF)

2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2013, Vol.2, p.293-300
2013
Volltextzugriff (PDF)

Microelectronics and reliability, 1991, Vol.31 (4), p.577-594
1991
Volltextzugriff (PDF)

ACM letters on programming languages and systems, 1993-03, Vol.2 (1-4), p.17-30
1993
Volltextzugriff (PDF)

The Journal of systems and software, 1994-08, Vol.26 (2), p.129-148
1994
Volltextzugriff (PDF)

Open Access
The calculation of Easter
SIGPLAN notices, 1992-12, Vol.27 (12), p.61-65
1992
Volltextzugriff (PDF)

Imperative versus functional
SIGPLAN notices, 1990-04, Vol.25 (4), p.69-72
1990
Volltextzugriff (PDF)

Proceedings of the 1994 ACM symposium on Applied computing, 1994, p.420-424
1994
Volltextzugriff (PDF)

Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, 1993, p.63-70
1993
Volltextzugriff (PDF)


Open Access
A functional language with classes
Computing in the 90's, 1991, p.364-370
1991
Volltextzugriff (PDF)

Type inference with subtypes
Annual Symposium on Principles of Programming Languages: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 10-13 Jan. 1988, 1988, p.88-97
1988
Volltextzugriff (PDF)

Using ML as a command language
Computing in the 90's, 1991, p.371-377
1991
Volltextzugriff (PDF)


Solving diagramless crossword puzzles
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94, 1994, p.4-10
1994
Volltextzugriff (PDF)

Proceedings of the 33rd Midwest Symposium on Circuits and Systems, 1990, p.766-769 vol.2
1990
Volltextzugriff (PDF)

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91, 1991, p.136-143
1991
Volltextzugriff (PDF)

Proceedings of the conference on TRI-Ada '88, 1989, p.186-197
1989
Volltextzugriff (PDF)

[1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference, 1991, p.618-625
1991
Volltextzugriff (PDF)

Accounting, management, and information technologies, 1992, Vol.2 (2), p.57-76
1992
Volltextzugriff (PDF)

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track, 1988, Vol.3, p.217-222
1988
Volltextzugriff (PDF)