書封
Shoham, Sharon.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II /
by:
Shoham, Sharon.; Vizel, Yakir.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
Shoham, Sharon.; SpringerLink (Online service); Vizel, Yakir.; Henglein, Fritz.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings /
by:
Henglein, Fritz.; SpringerLink (Online service); Vizel, Yakir.; Shoham, Sharon.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I /
by:
Vizel, Yakir.; SpringerLink (Online service); Shoham, Sharon.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer engineering.
Computer networks .
Special Purpose and Application-Based Systems.
Artificial intelligence.
Design and Analysis of Algorithms.
Control Structures and Microprogramming.
Software engineering.
Computers, Special purpose.
Natural Language Processing (NLP).
Computer science.
Natural language processing (Computer science).
Theory of Computation.
Computers.
Microprogramming .
Algorithms.
Special purpose computers.
Computer Engineering and Networks.
Artificial Intelligence.