語系
Lahiri, Shuvendu K.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part II /
by:
(1998 :); Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(書目-電子資源)
Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part I /
by:
(1998 :); Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(書目-電子資源)
Automated technology for verification and analysis16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings /
by:
(1998 :); Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(書目-電子資源)
主題
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Automatic theorem proving
Computer software
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Systems and Data Security.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Computer Hardware.