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...
IEEE software, 2000-05, Vol.17 (3), p.37-43
2000


IEEE transactions on software engineering, 2002-02, Vol.28 (2), p.129-145
2002

IEEE transactions on smart grid, 2012-06, Vol.3 (2), p.744-760
2012

IEEE/ACM transactions on networking, 2012-06, Vol.20 (3), p.715-728
2012

Open Access
Policy-directed certificate retrieval
Software, practice & experience, 2000-12, Vol.30 (15), p.1609-1640
2000
Link zum Volltext

Nonintrusive Load-Shed Verification
IEEE pervasive computing, 2011-01, Vol.10 (1), p.49-57
2011

Lecture notes in computer science, 2000, p.53-72
2000
Link zum Volltext

Open Access
Inheritance as implicit coercion
Information and computation, 1991-07, Vol.93 (1), p.172-221
1991
Link zum Volltext

Journal of the ACM, 2002-07, Vol.49 (4), p.538-576
2002
Link zum Volltext

Open Access
The mixed powerdomain
Theoretical computer science, 1992-09, Vol.103 (2), p.311-334
1992
Link zum Volltext

Artificial intelligence, 1997-09, Vol.95 (2), p.357-407
1997
Link zum Volltext

Open Access
Universal profinite domains
Information and computation, 1987, Vol.72 (1), p.1-30
1987
Link zum Volltext

Information and computation, 1993-12, Vol.107 (2), p.303-323
1993
Link zum Volltext

Computing with coercions
Conference on LISP and Functional Programming: Proceedings of the 1990 ACM conference on LISP and functional programming; 27-29 June 1990, 1990, p.44-60
1990
Link zum Volltext

Journal of Bacteriology, 1968-11, Vol.96 (5), p.1556-1561
1968
Link zum Volltext

Open Access
Coherence and consistency in domains
Journal of pure and applied algebra, 1990-02, Vol.63 (1), p.49-66
1990
Link zum Volltext

Network Programming Using PLAN
Internet Programming Languages, 1999, Vol.1686, p.127-143
1999
Link zum Volltext

Open APIs for Embedded Security
ECOOP 2003 – Object-Oriented Programming, 2003, p.225-247
2003
Link zum Volltext

Lecture notes in computer science, 2005, p.256-282
2005
Link zum Volltext


2010 3rd International Symposium on Resilient Control Systems, 2010, p.37-42
2010

Journal of computer security, 2003, Vol.11 (2), p.245-287
2003
Link zum Volltext

Endotoxin shock in primates
Surgery, gynecology & obstetrics, 1968-06, Vol.126 (6), p.1309
1968
Link zum Volltext

2010 First IEEE International Conference on Smart Grid Communications, 2010, p.339-344
2010
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt