Showing 1 - 5 results of 5 for search 'Hou, Zhe', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification

    Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification by Hou, Zhe

    Published 2021

    Get full text Get full text
    Electronic eBook


    Saved in:
  2. 2
    Automated technology for verification and analysis 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

    Automated technology for verification and analysis 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

    Published 2021
    Other Authors: “…Hou, Zhe…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  3. 3
    Formal methods and software engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : proceedings

    Formal methods and software engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : proceedings

    Published 2021
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  4. 4
    Sports Analytics First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings

    Sports Analytics First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved in:
  5. 5
    Automated technology for verification and analysis 19th international symposium, ATVA 2021 Gold Coast, QLD, Australia, October 18–22, 2021 : proceedings

    Automated technology for verification and analysis 19th international symposium, ATVA 2021 Gold Coast, QLD, Australia, October 18–22, 2021 : proceedings

    Published 2021
    Other Authors: “…Hou, Zhe…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: