Enea, Constantin.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.Part II /
by:
(1998 :); Enea, Constantin.; Lal, Akash.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.Part I /
by:
(1998 :); Enea, Constantin.; Lal, Akash.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings.Part III /
by:
(1998 :); Enea, Constantin.; Lal, Akash.; SpringerLink (Online service)
(書目-電子資源)
Networked systems12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024 : proceedings /
by:
(1998 :); Castañeda, Armando.; Enea, Constantin.; Gupta, Nirupam.; SpringerLink (Online service)
(書目-電子資源)
Verification, model checking, and abstract interpretation20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings /
by:
(1998 :); Enea, Constantin.; Piskac, Ruzica.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Computer software
Wireless communication systems
Computer Engineering and Networks.
Artificial Intelligence.
Computer Communication Networks.
Design and Analysis of Algorithms.
Computer networks
Cloud computing
Mobile computing