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




Open Access
Smtlink 2.0
Electronic proceedings in theoretical computer science, 2018, Vol.280 (Proc. ACL2 2018), p.143-160
2018
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2018, Vol.280 (Proc. ACL2 2018), p.111-127
2018
Volltextzugriff (PDF)


Open Access
Convex Functions in ACL2(r)
Electronic proceedings in theoretical computer science, 2018, Vol.280 (Proc. ACL2 2018), p.128-142
2018
Volltextzugriff (PDF)

IEEE transactions on computers, 2012-04, Vol.61 (4), p.530-547
2012
Volltextzugriff (PDF)


2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020, p.28-35
2020
Volltextzugriff (PDF)


IEEE transactions on very large scale integration (VLSI) systems, 2008-05, Vol.16 (5), p.579-588
2008
Volltextzugriff (PDF)

Journal of the Marine Biological Association of the United Kingdom, 2010-02, Vol.90 (1), p.95-104
2010
Volltextzugriff (PDF)


2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2017, p.41-48
2017
Volltextzugriff (PDF)



IEEE journal of solid-state circuits, 2007-06, Vol.42 (6), p.1405-1414
2007
Volltextzugriff (PDF)

Formal methods in system design, 2014-10, Vol.45 (2), p.246-272
2014
Volltextzugriff (PDF)


ICES journal of marine science, 2011-09, Vol.68 (9), p.1963-1972
2011
Volltextzugriff (PDF)

Ecological modelling, 2016-02, Vol.321, p.35-45
2016
Volltextzugriff (PDF)

Verified Software. Theories, Tools and Experiments, 2023, Vol.13800, p.33-51
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt