Zhe Hou – författare
Visar alla böcker från författaren Zhe Hou. Handla med fri frakt och snabb leverans.
9 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, 2020
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected …
Formal Methods and Software Engineering
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Av Brendan Mahony, Zhe Hou m. fl.
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected …
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
Av Zhe Hou
Inbunden, 2021
435 kr
Lägg i varukorg
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale …
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
Av Zhe Hou
E-bok, 2021
923 kr
Lägg i varukorg
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale …
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
Av Zhe Hou
Häftad, 2022
435 kr
Lägg i varukorg
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale …
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, 2021
846 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated …
Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Av Vijay Ganesh, Zhe Hou
E-bok, 2021
1091 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated …
Sports Analytics
First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings
Av Jin Song Dong, Masoumeh Izadi m. fl.
Häftad, 2024
1574 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference on Sports Analytics, ISACE 2024, held in Paris, France, during July 12–13, 2024.The 19 full papers, 1 short paper and 7 Practical Experience papers included in this volume were carefully reviewed and selected from …
Sports Analytics
First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings
Av Zhe Hou, Masoumeh Izadi m. fl.
E-bok, 2024
2006 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference on Sports Analytics, ISACE 2024, held in Paris, France, during July 12–13, 2024. The 19 full papers, 1 short paper and 7 Practical Experience papers included in this volume were carefully reviewed and selected from …
