Showing 1 - 6 results of 6 for search 'Shoham, Sharon', query time: 0.03s
Refine Results
-
1
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Published 2022Other Authors: “…Shoham, Sharon…”
Link to Metadata
Electronic eBook -
2
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Published 2022Other Authors: “…Shoham, Sharon…”
Link to Metadata
Electronic eBook -
3
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Published 2022Other Authors: “…Shoham, Sharon…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Other Authors: “…Shoham, Sharon…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Other Authors: “…Shoham, Sharon…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
6
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Published 2022Other Authors: “…Shoham, Sharon…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter
Search Tools:
Related Subjects
Artificial intelligence
Software Engineering
Computer networking & communications
Computer science
Algorithms & data structures
Artificial Intelligence
Computer Engineering and Networks
Computer engineering
Computer networks
Software engineering
Algorithms
Design and Analysis of Algorithms
Theory of Computation