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...
Document Analysis and Recognition – ICDAR 2023 Workshops, p.83-93
Volltextzugriff (PDF)

Artificial General Intelligence, 2022, Vol.13154, p.41-44
2022
Volltextzugriff (PDF)


Artificial General Intelligence, 2023, Vol.13921, p.207-216
2023
Volltextzugriff (PDF)



Artificial General Intelligence, 2022, Vol.13154, p.184-195
2022
Volltextzugriff (PDF)


Computer Aided Verification, 2013, p.347-363
2013
Volltextzugriff (PDF)

Unconventional Computation and Natural Computation, p.280-292
Volltextzugriff (PDF)

Artificial General Intelligence, 2022, Vol.13154, p.30-40
2022
Volltextzugriff (PDF)

Automated Deduction - CADE-25, p.467-481
Volltextzugriff (PDF)

Computer Aided Verification, 2013, Vol.LNCS 8044, p.1-35
2013
Volltextzugriff (PDF)

Formal Methods and Software Engineering, 2022, Vol.13478, p.227-243
2022
Volltextzugriff (PDF)


Iconography and Materiality
Handbook of Historical Studies in Education, p.329-347
Volltextzugriff (PDF)

Bio-Inspired Information and Communications Technologies, 2023, Vol.512, p.178-189
2023
Volltextzugriff (PDF)

Graphics Recognition. New Trends and Challenges, 2013, Vol.7423, p.198-207
2013
Volltextzugriff (PDF)





Geometric Science of Information, p.507-515
Volltextzugriff (PDF)

Verified Software: Theories, Tools, Experiments, p.1-21
Volltextzugriff (PDF)

Formal Methods and Software Engineering, 2015, Vol.9407, p.67-83
2015
Volltextzugriff (PDF)
Aktive Filter
PublikationsformBuchkapitel