Auteur: Zhe Hou

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 prese …

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 …

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 exer …

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 …