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





The ACM journal of experimental algorithmics, , Vol.11, p.1.7-es
Link zum Volltext





Computing Tutte Polynomials
ACM transactions on mathematical software, 2011, Vol.37 (3)
2011
Link zum Volltext

Computing Tutte Polynomials
ACM transactions on mathematical software, 2010-09, Vol.37 (3)
2010
Link zum Volltext

Relationship aspects
Aspect-oriented software development: Proceedings of the 5th international conference on Aspect-oriented software development; 20-24 Mar. 2006, 2006, p.75-86
2006
Link zum Volltext

Making Whiley Boogie
Integrated Formal Methods, p.69-84
Link zum Volltext


Engineering Trustworthy Software Systems, 2019, Vol.11430, p.1-37
2019
Link zum Volltext


Engineering education (Loughborough), 2012-12, Vol.7 (2), p.29-37
2012
Link zum Volltext

Runtime Verification, p.292-307
Link zum Volltext

Formal Techniques for Safety-Critical Systems, 2014, Vol.419, p.142-159
2014
Link zum Volltext

Proceedings of the 15th Workshop on formal techniques for java-like programs, 2013, p.1-7
2013
Link zum Volltext

Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering, 2004, p.37-42
2004
Link zum Volltext


Dependency Versioning in the Wild
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), 2019, p.349-359
2019

Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction, 2015, p.557-565
2015
Link zum Volltext
Aktive Filter
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n