Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 42
- Artificial intelligence 38
- Computer programming / software development 24
- Computer science 24
- Algorithms & data structures 22
- Computer networking & communications 22
- Mathematical theory of computation 22
- Computer modelling & simulation 12
- Systems analysis & design 10
- Computer hardware 4
- Expert systems / knowledge-based systems 4
- Information technology: general issues 4
- Natural language & machine translation 4
- Programming & scripting languages: general 4
- Technology: general issues 4
- Computer architecture & logic design 2
- Computing & information technology 2
- Economics, finance, business & management 1
- Genetics (non-medical) 1
- History of engineering & technology 1
- Mathematics & science 1
- Research & information: general 1
-
61
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 -
62
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 -
63
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 -
64
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