Ganesh, Vijay.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
Hou, Zhe.; Ganesh, Vijay.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
Ganesh, Vijay.; SpringerLink (Online service); Hou, Zhe.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.. Part I /
by:
SpringerLink (Online service); Ganesh, Vijay.; Gurfinkel, Arie.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Computer aided verification = 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.. Part III /
by:
Ganesh, Vijay.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Gurfinkel, Arie.
(書目-語言資料,印刷品)
Computer aided verification = 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024 : proceedings.. Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Gurfinkel, Arie.; Ganesh, Vijay.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer organization.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer networks .
Artificial intelligence.
Software engineering.
Computer Systems Organization and Communication Networks.
Computer Engineering and Networks.
Artificial Intelligence.
Design and Analysis of Algorithms.
Computers.
Computer Hardware.
Computer hardware.
Computer software