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]
Subjects
Software Engineering.
Mathematical logic.
Computer organization.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Computer networks .
Artificial intelligence.
Software engineering.
Natural language processing (Computer science).
Theory of Computation.
Logic in AI.
Information Systems Applications (incl. Internet).
Sports
Computer hardware.
Computer Hardware.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Arithmetic and Logic Structures.
Computer Engineering and Networks.
Application software.
Artificial Intelligence.
Arithmetic and logic units, Computer.
Natural Language Processing (NLP).
Computers.