Prófa frítt
Hljóðbækur
Rafbækur
Flokkar
Hlaðvörp
Stúdentar
Innskráning
Hljóðbækur
Rafbækur
Flokkar
Hlaðvörp
Stúdentar
Innskráning
Prófa frítt
Heim
Höfundar
Chuchu Fan
Gerð
Bækur eftir Chuchu Fan
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Chuchu Fan
0
Tengdar seríur
ACM Books
ACM Books
Hlustaðu og lestu
Stígðu inn í heim af óteljandi sögum
Lestu og hlustaðu eins mikið og þú vilt
Þúsundir titla
Getur sagt upp hvenær sem er
Engin skuldbinding
Prófa frítt