書封
Vizel, Yakir.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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]
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:
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 .
Artificial intelligence.
Software engineering.
Computers, Special purpose.
Theory of Computation.
Natural language processing (Computer science).
Microprogramming .
Algorithms.
Special purpose computers.
Computer Engineering and Networks.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Design and Analysis of Algorithms.
Control Structures and Microprogramming.
Natural Language Processing (NLP).
Computer science.
Computers.