Atig, Mohamed Faouzi.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.