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...
Lecture notes in computer science, 2005, p.413-429
2005
Volltextzugriff (PDF)

ACM transactions on software engineering and methodology, 2008-04, Vol.17 (2), p.1-34
2008
Volltextzugriff (PDF)

Clinics in sports medicine, 2009-10, Vol.28 (4), p.521-532
2009
Volltextzugriff (PDF)

The international journal of high performance computing applications, 2010-02, Vol.24 (1), p.93-104
2010
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.286-303
2004
Volltextzugriff (PDF)

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness), 2018, p.59-68
2018
Volltextzugriff (PDF)

Open Access
1239
Medicine and science in sports and exercise, 2010-05, Vol.42 (5), p.205
2010
Volltextzugriff (PDF)

Transactions of the American Mathematical Society, 2006-07, Vol.358 (7), p.2897-2916
2006
Volltextzugriff (PDF)

Open Access
1177
Medicine and science in sports and exercise, 2009-05, Vol.41 (5), p.15
2009
Volltextzugriff (PDF)

Open Access
86
Medicine and science in sports and exercise, 2009-05, Vol.41 (5), p.11
2009
Volltextzugriff (PDF)

Open Access
Transparent partial order reduction
Formal methods in system design, 2012-02, Vol.40 (1), p.1-19
2012
Volltextzugriff (PDF)

Mathematics in computer science, 2011-12, Vol.5 (4), p.395-426
2011
Volltextzugriff (PDF)

The American journal of legal history, 2006-10, Vol.48 (4), p.355-407
2006
Volltextzugriff (PDF)

Northwestern University law review, 1998-12, Vol.92 (2), p.477-477
1998
Volltextzugriff (PDF)

Proceedings of the London Mathematical Society, 1999-07, Vol.79 (1), p.131-157
1999
Volltextzugriff (PDF)

SIGPLAN notices, 2011-08, Vol.46 (8), p.309-310
2011
Volltextzugriff (PDF)


Mathematics in computer science, 2011-12, Vol.5 (4), p.427-435
2011
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.830-835
2015
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2002-02, Vol.28 (2), p.115-128
2002
Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation, p.44-58
Volltextzugriff (PDF)


New year, new PIPs... new delays
Hotel Management, 2024-04, Vol.239 (3), p.12-12
2024
Volltextzugriff (PDF)

ACM transactions on parallel computing, 2015-05, Vol.2 (1), p.1-33
2015
Volltextzugriff (PDF)

The Revision Thickens
Law and history review, 2002, Vol.20 (3), p.631-637
2002
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt