Bertsioak - Computer Aided Verification
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- Artificial intelligence 3
- Software Engineering 3
- Computer modelling & simulation 2
- Computer programming / software development 2
- Mathematical theory of computation 2
- Artificial Intelligence 1
- Computer Modelling 1
- Computer Science Logic and Foundations of Programming 1
- Computer science 1
- Computer simulation 1
- Formal Languages and Automata Theory 1
- Machine theory 1
- Software engineering 1
-
1
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Argitaratua 2021Link to Metadata
Baliabide elektronikoa eBook -
2
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Argitaratua 2021DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
3
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Argitaratua 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua