E-LIB Suche - Ergebnisse für: Nenzi, Laura - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Runtime Verification: 23rd International Conference, RV 202..

Lecture Notes in Computer Science, 14245

Katsaros, Panagiotis ; Nenzi, Laura - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

2

Software Verification and Formal Methods for ML-Enabled Aut..

Lecture Notes in Computer Science, 13466

Isac, Omri ; Ivanov, Radoslav ; Katz, Guy.. - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

3

Traditions of East Asian Travel:

Carter, Steven D. ; Eggert, Marion ; Fessler, Susanna... , [2005]

Link: https://doi.org/10.1515/..

1-3