Proovi tasuta
Audioraamatud
E-raamatud
Podcastid
Kategooriad
Sisene
Audioraamatud
E-raamatud
Podcastid
Kategooriad
Sisene
Proovi tasuta
Etusivu
Kirjailijat
Chuchu Fan
Formaat
Autori Chuchu Fan raamatud
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Chuchu Fan
Seotud sarjad
ACM Books
ACM Books
