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...
ACM journal on emerging technologies in computing systems, 2022-12, Vol.19 (1), p.1-23, Article 9
2022
Volltextzugriff (PDF)


2007 IEEE/ACM International Conference on Computer-Aided Design, 2007, p.698-704
2007
Volltextzugriff (PDF)

Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, 2007, p.698-704
2007
Volltextzugriff (PDF)

Open Access
Dynamic Assertions Using TXP
Electronic notes in theoretical computer science, 2001-10, Vol.55 (2), p.134-146
2001
Volltextzugriff (PDF)


Graefe's archive for clinical and experimental ophthalmology, 2021-04, Vol.259 (4), p.873-882
2021
Volltextzugriff (PDF)



Ophthalmology retina, 2021-06, Vol.5 (6), p.593-593
2021
Volltextzugriff (PDF)