Covers
Shoham, Sharon.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.