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...
Mathematical structures in computer science, 2004-06, Vol.14 (3), p.329-366
2004
Volltextzugriff (PDF)



Electronic proceedings in theoretical computer science, 2018, Vol.272 (Proc. MeTRiD 2018), p.121-135
2018
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-12, Vol.232 (Proc. V2CPS-16), p.21-35
2016
Volltextzugriff (PDF)

Logical methods in computer science, 2016-01, Vol.12, Issue 3
2016
Volltextzugriff (PDF)


Open Access
Relating BIP and Reo
Electronic proceedings in theoretical computer science, 2015-08, Vol.189 (Proc. ICE 2015), p.3-20
2015
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2014-10, Vol.166 (Proc. ICE 2014), p.38-44
2014
Volltextzugriff (PDF)

Puff, The Magic Protocol
Formal Modeling: Actors, Open Systems, Biological Systems, 2011, p.169-206
2011
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2013-02, Vol.109 (Proc. PLACES 2012), p.34-45
2013
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2021, Vol.347, p.77-95
2021
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2022-11, Vol.129, p.100807, Article 100807
2022
Volltextzugriff (PDF)

Science of computer programming, 2022-06, Vol.218, p.102807, Article 102807
2022
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2022-08, Vol.128, p.100795, Article 100795
2022
Volltextzugriff (PDF)

Science of computer programming, 2019-09, Vol.183, p.102300, Article 102300
2019
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-07, Vol.58 (Proc. FOCLASA 2011), p.65-79
2011
Volltextzugriff (PDF)

Science of computer programming, 2021-03, Vol.203, p.102578, Article 102578
2021
Volltextzugriff (PDF)

Science of computer programming, 2005-03, Vol.55 (1), p.3-52
2005
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-08, Vol.60 (Proc. PACO 2011), p.19-35
2011
Volltextzugriff (PDF)


Science of computer programming, 2006-07, Vol.61 (2), p.75-113
2006
Volltextzugriff (PDF)

Fundamentals of Software Engineering, 2019, Vol.11761, p.194-209
2019
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n