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...
Physical review letters, 2012-12, Vol.109 (26), p.263004-263004, Article 263004
2012
Volltextzugriff (PDF)

Physical review. A, 2018-06, Vol.97 (6), Article 063419
2018
Volltextzugriff (PDF)

Lecture notes in computer science, 2006, p.45-59
2006
Volltextzugriff (PDF)

IEEE transactions on instrumentation and measurement, 2013-06, Vol.62 (6), p.1556-1562
2013
Volltextzugriff (PDF)

ACM transactions on programming languages and systems, 2016-10, Vol.38 (4), p.1-50, Article 13
2016
Volltextzugriff (PDF)

Physical review. A, Atomic, molecular, and optical physics, 2008-07, Vol.78 (1), Article 012503
2008
Volltextzugriff (PDF)

Journal of molecular spectroscopy, 2018-04, Vol.346, p.19-22
2018
Volltextzugriff (PDF)

Verified Software: Theories, Tools, Experiments, p.146-161
Volltextzugriff (PDF)

New journal of physics, 2012-07, Vol.14 (7), p.73020
2012
Volltextzugriff (PDF)


Journal of automated reasoning, 2006-10, Vol.37 (3), p.155-203
2006
Volltextzugriff (PDF)

IEEE transactions on instrumentation and measurement, 2011-07, Vol.60 (7), p.2550-2557
2011
Volltextzugriff (PDF)




Verified Software: Theories, Tools, Experiments, p.261-277
Volltextzugriff (PDF)

Automated Deduction – CADE-22, p.277-293
Volltextzugriff (PDF)

When Is a Formula a Loop Invariant?
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.264-286
2015
Volltextzugriff (PDF)


Tools and Algorithms for the Construction and Analysis of Systems, p.140-155
Volltextzugriff (PDF)


Rewriting Techniques and Applications, p.94-109
Volltextzugriff (PDF)



Lecture notes in computer science, 2004, p.210-220
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n