Atig, Mohamed Faouzi.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
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]
Networked Systems = 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers /
by:
Atig, Mohamed Faouzi.; Schwarzmann, Alexander A.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Computer Communication Networks.
Control Structures and Microprogramming.
Software engineering.
System Performance and Evaluation.
Computer system failures.
Computers.
The Computing Profession.
Microprogramming .
Input/Output and Data Communications.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Input-output equipment (Computers).
Computer communication systems.
Artificial Intelligence.