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


Formal aspects of computing, 2012-07, Vol.24 (4-6), p.497-518
2012
Volltextzugriff (PDF)

Theoretical computer science, 1999-06, Vol.221 (1-2), p.271-293
1999
Volltextzugriff (PDF)

Theoretical computer science, 2006-11, Vol.367 (1), p.139-161
2006
Volltextzugriff (PDF)

Computer Security – ESORICS 2004, 2004, p.109-124
2004
Volltextzugriff (PDF)

The Journal of immunology (1950), 1990-07, Vol.145 (1), p.102-108
1990
Volltextzugriff (PDF)




Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100813, Article 100813
2023
Volltextzugriff (PDF)

Lecture notes in computer science, 1997, p.460-470
1997
Volltextzugriff (PDF)



International journal of foundations of computer science, 2002-06, Vol.13 (3), p.315-340
2002
Volltextzugriff (PDF)

The Pediatric infectious disease journal, 1998-05, Vol.17 (5), p.381-385
1998
Volltextzugriff (PDF)



Science of computer programming, 2014-11, Vol.94, p.333-361
2014
Volltextzugriff (PDF)

Science of computer programming, 2011-08, Vol.76 (8), p.711-735
2011
Volltextzugriff (PDF)


2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010, p.125-134
2010
Volltextzugriff (PDF)

Open Access
Axiomatizing GSOS with Termination
Lecture notes in computer science, 2002, p.583-595
2002
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-01, Vol.93 (Proc. ACCAT 2012), p.23-43
2012
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-11, Vol.100 (Proc. MeCBIC 2012), p.48-62
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n