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



Applied radiation and isotopes, 2009-05, Vol.67 (5), p.741-745
2009
Link zum Volltext


10th International Conference on Automated Deduction, 2005, p.117-131
2005
Link zum Volltext

2011 15th European Conference on Software Maintenance and Reengineering, 2011, p.161-170
2011

18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007, p.734-738
2007

Computer Safety, Reliability and Security, 1999, p.361-374
1999
Link zum Volltext


2006 13th Asia Pacific Software Engineering Conference (APSEC'06), 2006, p.27-36
2006

Open Access
Confidentiality-preserving refinement
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001, 2001, p.295-305
2001

32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), 2006, p.72-80
2006

Computer Safety, Reliability, and Security, p.1-2
Link zum Volltext



Algebraic Methodology and Software Technology, 1995, p.475-488
1995
Link zum Volltext

9th International Conference on Automated Deduction, 1988, p.131-140
1988
Link zum Volltext

Science of computer programming, 2001-05, Vol.40 (1), p.31-57
2001
Link zum Volltext

Software Architecture for Big Data and the Cloud, 2017
2017
Link zum Volltext

Proceedings Ninth International Workshop on Software Specification and Design, 1998, p.153-155
1998

Science of computer programming, 1992, Vol.18 (1), p.107-137
1992
Link zum Volltext

8th International Conference on Automated Deduction, 1986, p.306-315
1986
Link zum Volltext

Software Architecture for Big Data and the Cloud, 2017
2017
Link zum Volltext

Aktive Filter
Zeitschrift / SerieJournal Of Plant Physiology
ThemaSoftware
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n