Hoppa till sidans huvudinnehåll

Zhe Hou – författare

Visar alla böcker från författaren Zhe Hou.
5 produkter
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

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

AvZhe Hou

Inbunden, Engelska, 2021

529 kr

Skickas inom 5-8 vardagar

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

AvZhe Hou

Häftad, Engelska, 2022

529 kr

Skickas inom 5-8 vardagar

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

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 029 kr

Skickas inom 10-15 vardagar