Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 6
- Computer science 6
- Software Engineering 6
- Computer hardware 4
- Computer networking & communications 4
- Artificial Intelligence 2
- Computer Engineering and Networks 2
- Computer Hardware 2
- Computer engineering 2
- Computer modelling & simulation 2
- Computer networks 2
- Computers 2
- Software engineering 2
- Theory of Computation 2
- Computer Communication Networks 1
- Computer Science 1
-
1
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /
Published 2020Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
2
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Published 2020Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
3
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
6
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter