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...
IET systems biology, 2007-11, Vol.1 (6), p.326-341, Article 326
2007
Volltextzugriff (PDF)

Open Access
A genetically modified Hoare logic
Theoretical computer science, 2019-04, Vol.765, p.145-157
2019
Volltextzugriff (PDF)


Computational Models for Life Sciences (CMLS '07) (AIP Conference Proceedings Volume 952), 2007, Vol.952, p.287-296
2007
Volltextzugriff (PDF)

TAPSOFT '91, 1991, p.99-119
1991
Volltextzugriff (PDF)




Information and computation, 1989-02, Vol.80 (2), p.121-151
1989
Volltextzugriff (PDF)

International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997, 1997, p.216-226
1997
Volltextzugriff (PDF)

Theoretical computer science, 1995-03, Vol.139 (1), p.275-314
1995
Volltextzugriff (PDF)

Lecture notes in computer science, 1999, p.107-121
1999
Volltextzugriff (PDF)

Category Theory and Computer Science, 1987, p.182-195
1987
Volltextzugriff (PDF)

14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings, 2003, p.93-99
2003
Volltextzugriff (PDF)


2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2007, Vol.2007, p.4603-4608
2007
Volltextzugriff (PDF)

Acta informatica, 1994-07, Vol.31 (7), p.651-671
1994
Volltextzugriff (PDF)

Open Access
Label algebras and exception handling
Science of computer programming, 1994-12, Vol.23 (2), p.227-286
1994
Volltextzugriff (PDF)


ESOP '92, 1992, p.39-55
1992
Volltextzugriff (PDF)

Recent Trends in Data Type Specification, 1993, p.144-163
1993
Volltextzugriff (PDF)


Software engineering journal, 1991-11, Vol.6 (6), p.387
1991
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n