เริ่ม
หนังสือเสียง
อีบุ๊ค
หมวดหมู่
เข้าสู่ระบบ
หนังสือเสียง
อีบุ๊ค
หมวดหมู่
เข้าสู่ระบบ
เริ่ม
หน้าหลัก
ผู้เขียน
Chuchu Fan
รูปแบบ
หนังสือโดย Chuchu Fan
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Chuchu Fan
ซีรีส์ที่เกี่ยวข้อง
ACM Books
ACM Books