Ben Hedia, Belgacem.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verification and evaluation of computer and communication systems = 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /
by:
SpringerLink (Online service); Ben Hedia, Belgacem.; Monsuez, Bruno.; Workshop on the Preservation of Stability under Discretization ((2001 :); Ghazel, Mohamed.
(書目-語言資料,印刷品)
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 organization.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Computer Communication Networks.
Software engineering.
Data Structures.
Computer networks
Data structures (Computer science).
Mathematics of Computing.
Computer Systems Organization and Communication Networks.
Algorithms.
Mathematical Logic and Formal Languages.
Computer Engineering and Networks.
Computer software