Hou, Zhe.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification /
by:
SpringerLink (Online service); Hou, Zhe.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer organization.
Computer engineering.
Artificial intelligence.
Software engineering.
Theory of Computation.
Sports
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Application software.
Artificial Intelligence.
Natural Language Processing (NLP).
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Computer networks .
Natural language processing (Computer science).
Logic in AI.
Information Systems Applications (incl. Internet).
Computer Engineering and Networks.
Arithmetic and logic units, Computer.
Computer hardware.
Computer Hardware.
Programming languages (Electronic computers).
Arithmetic and Logic Structures.