Ben Hedia, Belgacem.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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 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