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

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)



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)

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)

Computing Tutte Polynomials
ACM transactions on mathematical software, 2010-09, Vol.37 (3), p.1-17
2010
Volltextzugriff (PDF)

SIGPLAN notices, 2008-10, Vol.43 (10), p.1-18
2008
Volltextzugriff (PDF)

Computing Tutte Polynomials
ACM transactions on mathematical software, 2011, Vol.37 (3)
2011
Volltextzugriff (PDF)

Computing Tutte Polynomials
ACM transactions on mathematical software, 2010-09, Vol.37 (3)
2010
Volltextzugriff (PDF)


Science of computer programming, 2011-07, Vol.76 (7), p.587-608
2011
Volltextzugriff (PDF)

Engineering education (Loughborough), 2012-12, Vol.7 (2), p.29-37
2012
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2011-12, Vol.279 (1), p.47-59
2011
Volltextzugriff (PDF)
Aktive Filter
KollektionJSTOR All Journals
KollektionSpringerLink (Online service)
PublikationsformArtikel
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt