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...

Human Interface and the Management of Information. Interaction, Visualization, and Analytics, p.346-357
Link zum Volltext

Formal methods in system design, 2016-06, Vol.48 (3), p.257-273
2016
Link zum Volltext


2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2018, p.194-199
2018








Journal of computer security, 2004, Vol.12 (2), p.247-311
2004
Link zum Volltext


Annals of pure and applied logic, 1992-04, Vol.56 (1), p.239-311
1992
Link zum Volltext


IEEE transactions on nanotechnology, 2003-09, Vol.2 (3), p.165-174
2003

Open Access
A Nonlinear Real Arithmetic Fragment
Computer Aided Verification, p.729-736
Link zum Volltext

Forensic science international, 1997-07, Vol.88 (1), p.23-31
1997
Link zum Volltext

Conference on Computer and Communications Security: Proceedings of the 7th ACM conference on Computer and communications security; 01-04 Nov. 2000, 2000, p.19-24
2000
Link zum Volltext

Open Access
From ABO to DNA .
Medicine, science, and the law, 2000-01, Vol.40 (1), p.3-7
2000
Link zum Volltext


Forensic science international, 1997-06, Vol.87 (3), p.181-184
1997
Link zum Volltext

IEEE transactions on nanotechnology, 2005-03, Vol.4 (2), p.215-228
2005

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt