Hoppa till sidans huvudinnehåll

Zhe Hou - Böcker

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

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 Hou m. fl.

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

AvZhe Hou

Inbunden, Engelska, 2021

519 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

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

Skickas inom 10-15 vardagar

Sports Analytics

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

AvJin Song Dong,Masoumeh Izadi m. fl.

Häftad, Engelska, 2024

1 849 kr

Skickas inom 10-15 vardagar