Zhe Hou – författare

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

5 produkter

Kategorier

5 produkter

Del 12531
Del 12531 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
AvShang-Wei Lin,Zhe Houm. fl.
Häftad, Engelska, 2020
749 kr
Skickas inom 10-15 vardagar
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
AvZhe Hou
Inbunden, Engelska, 2021
549 kr
Skickas inom 5-8 vardagar
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
AvZhe Hou
Häftad, Engelska, 2022
549 kr
Skickas inom 5-8 vardagar
Del 12971
Del 12971 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
AvZhe Hou,Vijay Ganesh
Häftad, Engelska, 2021
1 109 kr
Skickas inom 10-15 vardagar
Del 14794
Del 14794 - Lecture Notes in Computer Science
Sports Analytics
First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings
AvJin Song Dong,Masoumeh Izadim. fl.
Häftad, Engelska, 2024
2 069 kr
Skickas inom 10-15 vardagar