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

Open Access
Verifying Whiley Programs with Boogie
Journal of automated reasoning, 2022-11, Vol.66 (4), p.747-803
2022
Volltextzugriff (PDF)

Information processing letters, 2016-01, Vol.116 (1), p.47-52
2016
Volltextzugriff (PDF)

IEEE transactions on signal processing, 2007-02, Vol.55 (2), p.585-593
2007
Volltextzugriff (PDF)


The ACM journal of experimental algorithmics, 2007-02, Vol.11
2007
Volltextzugriff (PDF)

ACM transactions on programming languages and systems, 2021-04, Vol.43 (1), p.1-73, Article 3
2021
Volltextzugriff (PDF)

ACM transactions on programming languages and systems, 2007-11, Vol.30 (1), p.4
2007
Volltextzugriff (PDF)


Efficient Object Querying for Java
ECOOP 2006 – Object-Oriented Programming, 2006, p.28-49
2006
Volltextzugriff (PDF)




Profiling with AspectJ
Software, practice & experience, 2007-06, Vol.37 (7), p.747-777
2007
Volltextzugriff (PDF)

Journal of computer languages (Online), 2019-02, Vol.50, p.84-101
2019
Volltextzugriff (PDF)

Science of computer programming, 2015-12, Vol.113, p.191-220
2015
Volltextzugriff (PDF)


International journal of electrical engineering & education, 2016-04, Vol.53 (2), p.114-123
2016
Volltextzugriff (PDF)


Experimental and Efficient Algorithms, 2004, p.383-398
2004
Volltextzugriff (PDF)


Software quality journal, 2004-12, Vol.12 (4), p.311-337
2004
Volltextzugriff (PDF)

IEEE transactions on wireless communications, 2006-10, Vol.5 (10), p.2824-2833
2006
Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation, p.335-354
Volltextzugriff (PDF)

Computing Tutte Polynomials
ACM transactions on mathematical software, 2010-09, Vol.37 (3), p.1-17
2010
Volltextzugriff (PDF)
Aktive Filter
KollektionJSTOR All Journals
KollektionSpringerLink (Online service)
ThemaHumans
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n