9 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for Zhe Hou

  1. Cover: Fundamentals of Logic and Computation - Springer
    Zhe Hou
    Fundamentals of Logic and Computation
    With Practical Automated Reasoning and Verification
    12/2021
    Springer
    9783030878825 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  2. Cover: Automated Technology for Verification and Analysis - Springer
    Zhe Hou | Vijay Ganesh
    Automated Technology for Verification and Analysis
    19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
    10/2021
    Springer
    9783030888855 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  3. Cover: Sports Analytics - Springer
    Jin Song Dong | Masoumeh Izadi | Zhe Hou
    Sports Analytics
    First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings
    09/2024
    Springer
    9783031690730 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  4. Cover: Formal Methods and Software Engineering - Springer
    Shang-Wei Lin | Zhe Hou | Brendan Mahony
    Formal Methods and Software Engineering
    22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
    12/2020
    Springer
    9783030634063 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Fundamentals of Logic and Computation - Springer
    Zhe Hou
    Fundamentals of Logic and Computation
    With Practical Automated Reasoning and Verification
    12/2022
    1st EDN1st Edition
    Springer
    9783030878849 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 7-9 days
  6. Cover: Fundamentals of Logic and Computation - Springer
    Zhe Hou
    Fundamentals of Logic and Computation
    With Practical Automated Reasoning and Verification
    12/2021
    1st EDN1st Edition
    Springer
    9783030878818 (ISBN)
    Book
    Hardback
    Other editions
    €64.19
    Shipment within 7-9 days
  7. Cover: Automated Technology for Verification and Analysis - Springer
    Zhe Hou | Vijay Ganesh
    Automated Technology for Verification and Analysis
    19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
    10/2021
    Springer
    9783030888848 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 7-9 days
  8. Cover: Formal Methods and Software Engineering - Springer
    Shang-Wei Lin | Zhe Hou | Brendan Mahony
    Formal Methods and Software Engineering
    22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
    12/2020
    Springer
    9783030634056 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Sports Analytics - Springer
    Jin Song Dong | Masoumeh Izadi | Zhe Hou
    Sports Analytics
    First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings
    09/2024
    Springer
    9783031690723 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €149.79
    Shipment within 15-20 days