Chen, Yu-Fang.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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]
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]
Subjects
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.