Zhe Hou – författare
Visar alla böcker från författaren Zhe Hou. Handla med fri frakt och snabb leverans.
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
556 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. They also represent the recent development in the use and development of formal engineering methods for software and system development.
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
Inbunden, Engelska, 2021
408 kr
Skickas inom 5-8 vardagar
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.
Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
Häftad, Engelska, 2022
412 kr
Skickas inom 5-8 vardagar
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.
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
830 kr
Skickas inom 10-15 vardagar
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.
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 543 kr
Skickas inom 10-15 vardagar
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 a total of 66 submissions.The vision of this new International Sports Analytics Conference and Exhibition (ISACE) series is to bring leading academics, researchers, coaches, psychologists, managers and technologists together to advance the state-of-the-art of sports analytics.