Ben Hedia, Belgacem.
概要
| 作品: | 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.; SpringerLink (Online service); Liu, Gaiyun.; Yu, Zhenhua.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer organization.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Computer Systems Organization and Communication Networks.
Algorithms.
Software engineering.
Mathematical Logic and Formal Languages.
Data Structures.
Data structures (Computer science).
Mathematics of Computing.