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

Electronic proceedings in theoretical computer science, 2014-10, Vol.167 (Proc. UITP 2014), p.14-22
2014
Link zum Volltext












Burlington magazine, 2015-02, Vol.157, p.127-129
2015
Link zum Volltext

Renaissance sculptors' drawings
Burlington magazine, 2015-02, Vol.157 (1343), p.127-129
2015
Link zum Volltext

Unifying Theories of Programming, p.157-175
Link zum Volltext



Electronic proceedings in theoretical computer science, 2022-09, Vol.368, p.60-74
2022
Link zum Volltext

Editorial
Formal aspects of computing, 2018-09, Vol.30 (5), p.493-494
2018
Link zum Volltext

Editorial
Formal aspects of computing, 2018-09, Vol.30 (5), p.493-494
2018
Link zum Volltext



Open Access
A denotational semantics for Handel-C
Formal aspects of computing, 2011-03, Vol.23 (2), p.153-170
2011
Link zum Volltext

Editorial
Formal aspects of computing, 2018, Vol.30 (5), p.493-494
2018
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt