Languages
Jump To : Overview | Titles | Subjects

Hou, Zhe.

Overview
Works: 0 works in 1 publications in 1 languages
Titles
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / by: Ganesh, Vijay.; SpringerLink (Online service); Hou, Zhe. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / by: Hou, Zhe.; Ganesh, Vijay.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Sports analytics = first International Conference, ISACE 2024, Paris, France, July 12-13, 2024 : proceedings / by: Dong, Jin Song.; Izadi, Masoumeh.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Hou, Zhe. (Language materials, printed)
Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification / by: SpringerLink (Online service); Hou, Zhe. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / by: Lin, Shang-Wei.; Hou, Zhe.; Mahony, Brendan.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login