Chen, Yu-Fang.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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]
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]
主題
Mathematical logic.
Software Engineering.
Computer organization.
Computer science—Mathematics.
Computer logic.
Artificial Intelligence.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Software engineering.
Data Structures.
Data structures (Computer science).
Mathematics of Computing.
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.