Ben Hedia, Belgacem.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verification and evaluation of computer and communication systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020 : proceedings /
by:
VECoS (Conference) (2020 :); Ben Hedia, Belgacem.; SpringerLink (Online service)
(書目-電子資源)
Verification and evaluation of computer and communication systems = 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 : proceedings /
by:
Ben Hedia, Belgacem.; SpringerLink (Online service); Monsuez, Bruno.; VECoS (Conference) (2024 :); Ghazel, Mohamed.
(書目-電子資源)
Verification and evaluation of computer and communication systems = 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 : proceedings /
by:
VECoS (Conference) (2023 :); Ben Hedia, Belgacem.; Krichen, Moez.; SpringerLink (Online service); Maleh, Yassine.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Data Structures.
Computer networks- Evaluation
Computer Engineering and Networks.
Artificial Intelligence.
Computer software- Verification
Computer Systems Organization and Communication Networks.
Computer Communication Networks.