Chen, Yu-Fang.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.