Monsuez, Bruno.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /
by:
Bensalem, Saddek.; Atig, Mohamed Faouzi.; Monsuez, Bruno.; SpringerLink (Online service); Bliudze, Simon.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Software Engineering.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Computer system failures.
Computers.
The Computing Profession.
Computer networks
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer Engineering and Networks.
Computer software