להרשמה
ספרים מוקלטים
ספרים דיגיטליים
קטגוריות
התחברות
ספרים מוקלטים
ספרים דיגיטליים
קטגוריות
התחברות
להרשמה
המלצות
סופר/ת
Chuchu Fan
פורמט
ספרים מאת Chuchu Fan
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Chuchu Fan
סדרות קשורות
ACM Books
ACM Books