Chen, Yu-Fang.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings /
by:
Esparza, Javier.; Chen, Yu-Fang.; SpringerLink (Online service); Cheng, Chih-Hong.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings /
by:
Ben Hedia, Belgacem.; Chen, Yu-Fang.; Liu, Gaiyun.; Yu, Zhenhua.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Computer organization.
Computer logic.
Artificial Intelligence.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Software engineering.
Data Structures.
Mathematics of Computing.
Data structures (Computer science).
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.