Zhe Hou - Böcker
Visar alla böcker från författaren Zhe Hou.
5 produkter
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
Häftad, Engelska, 2020
719 kr
Skickas inom 10-15 vardagar
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
Inbunden, Engelska, 2021
539 kr
Skickas inom 5-8 vardagar
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
Häftad, Engelska, 2022
539 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
Häftad, Engelska, 2021
1 079 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
Häftad, Engelska, 2024
1 979 kr
Skickas inom 10-15 vardagar