Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 16
- Mathematical theory of computation
- Computer programming / software development 14
- Software Engineering 14
- Computer modelling & simulation 8
- Algorithms & data structures 6
- Information technology: general issues 4
- Systems analysis & design 4
- Computer architecture & logic design 2
- Computer networking & communications 2
- Computer science 2
- Computer vision 2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
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 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
11
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 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
12
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
13
-
14
-
15
-
16
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter