Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 54
- Artificial intelligence 50
- Computer science 43
- Algorithms & data structures 20
- Computer networking & communications 20
- Computer programming / software development 20
- Mathematical theory of computation 20
- Software engineering 18
- Artificial Intelligence 13
- Theory of Computation 13
- Computer modelling & simulation 12
- Computer networks 10
- Systems analysis & design 10
- Computer Engineering and Networks 9
- Computer engineering 9
- Computer Science Logic and Foundations of Programming 8
- Formal Languages and Automata Theory 8
- Machine theory 8
- Compilers (Computer programs) 7
- Compilers and Interpreters 7
- Computers 7
- Biology, life sciences 6
- Computer Science 6
- Computer programming 6
- Expert systems / knowledge-based systems 6
- Information technology: general issues 6
- Programming & scripting languages: general 6
- Programming Techniques 6
- Algorithms 5
- Computer Modelling 5
-
21
-
22
-
23
-
24
-
25
-
26
-
27
Mémoire et démocratie en Occident Concurrence des mémoires ou concurrence victimaire
Published 2011DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
28
-
29
-
30
-
31
-
32
-
33
-
34
-
35
-
36
-
37
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 -
38
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 -
39
-
40