Zhe Hou - Böcker

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

5 produkter

Kategorier

5 produkter

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, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

Inbunden, Engelska, 2021

529 kr

Skickas inom 5-8 vardagar

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

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

Av Zhe Hou, Vijay Ganesh

Häftad, Engelska, 2021

1 089 kr

Skickas onsdag 3/12

Sports Analytics

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

Av Jin Song Dong, Masoumeh Izadi m. fl

Häftad, Engelska, 2024

2 179 kr

Skickas inom 10-15 vardagar