語系
Lahiri, Shuvendu K.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Wang, Chao.; Lahiri, Shuvendu K.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
by:
Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer organization.
Systems and Data Security.
Computer logic.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Artificial intelligence
Information Systems and Communication Service.
Artificial Intelligence.
Simulation and Modeling.
Computers.
Computer Hardware.
Computer hardware.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer security.