Zhe Hou – författare

Visar alla böcker från författaren Zhe Hou.

5 produkter

1. 

   Formal Methods and Software Engineering

   22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

   Av Shang-Wei Lin, Zhe Hou m. fl.

   Häftad, 2020

   729 kr

   Lägg i varukorg

2. 

   Fundamentals of Logic and Computation

   With Practical Automated Reasoning and Verification

   Av Zhe Hou

   Inbunden, 2021

   569 kr

   Lägg i varukorg

3. 

   Fundamentals of Logic and Computation

   With Practical Automated Reasoning and Verification

   Av Zhe Hou

   Häftad, 2022

   559 kr

   Lägg i varukorg

4. 

   Automated Technology for Verification and Analysis

   19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

   Av Zhe Hou, Vijay Ganesh

   Häftad, 2021

   1089 kr

   Lägg i varukorg

5. 

   Sports Analytics

   First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings

   Av Jin Song Dong, Masoumeh Izadi m. fl.

   Häftad, 2024

   2029 kr

   Lägg i varukorg