Mallet, Frédéric.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers /
by:
Mallet, Frédéric.; SpringerLink (Online service); Hasan, Osman.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Information and Communication Technologies in Education, Research, and Industrial Applications = 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers /
by:
Mallet, Frédéric.; Ermolayev, Vadim.; Yakovyna, Vitaliy.; SpringerLink (Online service); Spivakovsky, Aleksander.; Mayr, Heinrich C.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Computer science—Mathematics.
Computer organization.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Computers and Education.
Software engineering.
Education—Data processing.
Logic in AI.
Theory of Computation.
Computers.
Mathematics of Computing.
Microprogramming .
Computer Systems Organization and Communication Networks.
Computer simulation.
Special purpose computers.
Computer communication systems.
Information Systems and Communication Service.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Simulation and Modeling.