Hoppa till sidans huvudinnehåll

Zhe Hou – författare

Visar alla böcker från författaren .
5 produkter
Shang-Wei Lin, Zhe Hou, Brendan Mahony - Formal Methods and Software Engineering, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Zhe Hou - Fundamentals of Logic and Computation, Inbunden

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

AvZhe Hou

Inbunden, Engelska, 2021

549 kr

Skickas inom 5-8 vardagar

Zhe Hou - Fundamentals of Logic and Computation, Häftad

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

AvZhe Hou

Häftad, Engelska, 2022

549 kr

Skickas inom 5-8 vardagar

Zhe Hou, Vijay Ganesh - Automated Technology for Verification and Analysis, Häftad
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 089 kr

Skickas inom 10-15 vardagar

Jin Song Dong, Masoumeh Izadi, Zhe Hou - Sports Analytics, Häftad
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 019 kr

Skickas inom 10-15 vardagar