Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 6
- Software Engineering 6
- Algorithms & data structures 4
- Computer modelling & simulation 4
- Computer programming / software development 4
- Mathematical theory of computation 4
- Algorithms 2
- Artificial Intelligence 2
- Computer Modelling 2
- Computer Science Logic and Foundations of Programming 2
- Computer science 2
- Computer simulation 2
- Formal Languages and Automata Theory 2
- Machine theory 2
- Software engineering 2
-
1
-
2
-
3
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Published 2018Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Published 2018Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5
-
6