Am Donnerstag, den 15.8. kann es zwischen 16 und 18 Uhr aufgrund von Wartungsarbeiten des ZIM zu Einschränkungen bei der Katalognutzung kommen.
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...



Formal aspects of computing, 2009-05, Vol.21 (3), p.227-244
2009
Volltextzugriff (PDF)

Scandinavian journal of surgery, 2022-06, Vol.111 (2), p.14574969221096193
2022
Volltextzugriff (PDF)



Journal of logical and algebraic methods in programming, 2015-01, Vol.84 (1), p.19-36
2015
Volltextzugriff (PDF)



Formal aspects of computing, 2010-09, Vol.22 (5), p.629-661
2010
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-02, Vol.79 (Proc. THedu 2011), p.29-48
2012
Volltextzugriff (PDF)

Invariant Based Programming
Lecture notes in computer science, 2006, p.1-18
2006
Volltextzugriff (PDF)

Formal aspects of computing, 2005-05, Vol.17 (1), p.69-90
2005
Volltextzugriff (PDF)


Integrated Formal Methods, 2018, Vol.11023, p.151-160
2018
Volltextzugriff (PDF)

Formal aspects of computing, 2012, Vol.24 (1), p.67-95
2012
Volltextzugriff (PDF)


IEEE/ACM transactions on computational biology and bioinformatics, 2012-05, Vol.9 (3), p.885-898
2012
Volltextzugriff (PDF)


International journal of mathematical education in science and technology, 2010-01, Vol.41 (5), p.575-593
2010
Volltextzugriff (PDF)


Algebraic Methodology and Software Technology, p.1-1
Volltextzugriff (PDF)

Simulation modelling practice and theory, 2008-08, Vol.16 (7), p.834-847
2008
Volltextzugriff (PDF)

Mathematical Theory and Computational Practice, p.399-408
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt