Thao Dang

Thao Dang

2 ספרים במאגר

ספרים

Runtime VerificationThao Dang

Runtime Verification

Thao Dang · 2022

Explore Authentic Vietnamese CuisineThao Dang

Explore Authentic Vietnamese Cuisine

Thao Dang · 2020

ספרים משותפים ואוספים

ספרים שבהם Thao Dang מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Hybrid Systems BiologyOded Maler

Hybrid Systems Biology

Oded Maler · 2016

Verification and Synthesis of Hybrid SystemsEugine Asarin

Verification and Synthesis of Hybrid Systems

Eugine Asarin · 2006