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