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

Formal Verication of Neural Networks
2021
Volltextzugriff (PDF)

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019, p.147-156
2019
Volltextzugriff (PDF)

Proceedings of the ... AAAI Conference on Artificial Intelligence, 2024, Vol.38 (19), p.21232-21240
2024
Volltextzugriff (PDF)

Proceedings of the ... AAAI Conference on Artificial Intelligence, 2023, Vol.37 (7), p.8237-8245
2023
Volltextzugriff (PDF)

25th ACM International Conference on Hybrid Systems: Computation and Control, 2022, p.1-11
2022
Volltextzugriff (PDF)

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023, p.1-11
2023
Volltextzugriff (PDF)






The Egyptian journal of haematology : the official journal of the Egyptian Society of Haematology, 2022-07, Vol.47 (3), p.194-203
2022
Volltextzugriff (PDF)

Nephrology, dialysis, transplantation, 2016-05, Vol.31 (suppl_1), p.i550-i551
2016
Volltextzugriff (PDF)

The Egyptian journal of hospital medicine, 2020-07, Vol.80 (1), p.594-598
2020
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n