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, 2015-09, Vol.194 (Proc. QAPL 2015), p.16-31
2015
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-07, Vol.217 (Proc. FORECAST 2016), p.43-52
2016
Volltextzugriff (PDF)

Open Access
Hybrid semantics for Bio-PEPA
Information and computation, 2014-08, Vol.236, p.122-145
2014
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-07, Vol.85 (Proc. QAPL 2012), p.106-121
2012
Volltextzugriff (PDF)

Computers and education, 2007-12, Vol.49 (4), p.1330-1356
2007
Volltextzugriff (PDF)

Theoretical computer science, 2011-10, Vol.412 (43), p.6058-6082
2011
Volltextzugriff (PDF)

Software Engineering and Formal Methods, p.161-175
Volltextzugriff (PDF)

BMC systems biology, 2013-11, Vol.7 (1), p.128-128
2013
Volltextzugriff (PDF)

Open Access
HYPE with stochastic events
Electronic proceedings in theoretical computer science, 2011-07, Vol.57 (Proc. QAPL 2011), p.120-133
2011
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-09, Vol.67 (Proc. CompMod 2011), p.34-49
2011
Volltextzugriff (PDF)

ACM transactions on modeling and computer simulation, 2016-05, Vol.26 (4), p.1-22
2016
Volltextzugriff (PDF)

Integrated Formal Methods, 2018, Vol.11023, p.172-193
2018
Volltextzugriff (PDF)

Acta IMEKO, 2023-01, Vol.12 (1), p.1-7
2023
Volltextzugriff (PDF)

Theoretical computer science, 2011-05, Vol.412 (21), p.2142-2161
2011
Volltextzugriff (PDF)

Open Access
Curating Covid-19 Data in Links
Provenance and Annotation of Data and Processes, p.237-243
Volltextzugriff (PDF)

Open Access
Guest editors' foreword
Journal of logical and algebraic methods in programming, 2019-12, Vol.109, p.100489, Article 100489
2019
Volltextzugriff (PDF)

International journal of computer aided engineering and technology, 2010, Vol.2 (4), p.324
2010
Volltextzugriff (PDF)

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016, Vol.9700, p.120-155
2016
Volltextzugriff (PDF)


ACM transactions on modeling and computer simulation, 2018-04, Vol.28 (2), p.1-26
2018
Volltextzugriff (PDF)

Formal aspects of computing, 2013-07, Vol.25 (4), p.503-541
2013
Volltextzugriff (PDF)

2018 Winter Simulation Conference (WSC), 2018, p.395-409
2018
Volltextzugriff (PDF)

2009 International Conference on Advanced Information Networking and Applications, 2009, p.41-49
2009
Volltextzugriff (PDF)

Computational Methods in Systems Biology, p.374-377
Volltextzugriff (PDF)

Theoretical computer science, 2003-12, Vol.309 (1), p.65-109
2003
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n