Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence
- Software Engineering 26
- Computer networking & communications 16
- Mathematical theory of computation 16
- Computer modelling & simulation 14
- Algorithms & data structures 12
- Computer programming / software development 10
- Computer science 8
- Computer-aided design (CAD) 8
- Systems analysis & design 8
- Computer architecture & logic design 6
- Software testing & verification 6
- Automatic control engineering 4
- Computer hardware 4
- Civil engineering, surveying & building 2
- Information technology: general issues 2
- Programming & scripting languages: general 2
- Robotics 2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
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 -
15
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 -
16
-
17
-
18
-
19
-
20