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

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

Electronic proceedings in theoretical computer science, 2017-07, Vol.250
2017
Volltextzugriff (PDF)

Algorithms, 2018-09, Vol.11 (9), p.131
2018
Volltextzugriff (PDF)

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

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

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

Scientific Annals of Computer Science, 2013-01, Vol.23 (1), p.39-73
2013
Volltextzugriff (PDF)

Performance evaluation, 2009-08, Vol.66 (8), p.435-452
2009
Volltextzugriff (PDF)

2008 8th International Conference on Application of Concurrency to System Design, 2008, p.180-189
2008
Volltextzugriff (PDF)

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007, p.177-186
2007
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2001-03, Vol.40, p.72-99
2001
Volltextzugriff (PDF)

Topology and its applications, 1998, Vol.85 (1), p.35-52
1998
Volltextzugriff (PDF)

Open Access
Formalizing Adaptation On-the-Fly
Electronic notes in theoretical computer science, 2009-11, Vol.255, p.23-44
2009
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2007-02, Vol.168, p.5-28
2007
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2009-07, Vol.229 (2), p.3-20
2009
Volltextzugriff (PDF)

Fundamenta informaticae, 1999, Vol.40 (4), p.335-382
1999
Volltextzugriff (PDF)

Open Access
Axiomatizing GSOS with termination
The journal of logic and algebraic programming, 2004-07, Vol.60-61, p.323-351
2004
Volltextzugriff (PDF)

Fundamenta informaticae, 1994, Vol.20 (1,2,3), p.3-34
1994
Volltextzugriff (PDF)

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

Electronic notes in theoretical computer science, 2005-07, Vol.135 (1), p.23-38
2005
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2006-05, Vol.150 (3), p.93-113
2006
Volltextzugriff (PDF)

2008 9th International Workshop on Discrete Event Systems, 2008, p.113-118
2008
Volltextzugriff (PDF)

Science of computer programming, 1990-05, Vol.13 (2), p.237-264
1990
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt