Suggested Topics within your search.
Suggested Topics within your search.
- Computer programming / software development
- Artificial intelligence 16
- Mathematical theory of computation 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
- Discrete mathematics 2
- Mathematical foundations 2
- Programming & scripting languages: general 2
-
1
Tabu Search
Published 2008DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Traveling Salesman Problem Theory and Applications
Published 2010DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Bio-Inspired Computational Algorithms and Their Applications
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
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 -
13
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 -
14
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 -
15
-
16
-
17
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 -
18
-
19
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter