Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 35
- Artificial intelligence 31
- Software Engineering 31
- Formal Languages and Automata Theory 19
- Machine theory 19
- Computer programming / software development 16
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Artificial Intelligence 12
- Computer networking & communications 12
- Mathematical theory of computation 12
- Algorithms & data structures 10
- Computer modelling & simulation 6
- Computer Modelling 5
- Computer simulation 5
- Algorithms 4
- Computer networks 4
- Expert systems / knowledge-based systems 4
- Network hardware 4
- Systems analysis & design 4
- Computers 3
- Electronic digital computers 3
- Evaluation 3
- Professions 3
- System Performance and Evaluation 3
- The Computing Profession 3
- Coding theory & cryptology 2
- Computer Communication Networks 2
- Computer Engineering and Networks 2
- Computer engineering 2
-
21
-
22
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
23
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
24
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…formal languages and automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
25
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…formal languages and automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
26
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
27
-
28
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
29
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
30
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
31
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…formal languages and automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
32
-
33
-
34
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
35
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…formal languages and automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
36
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Published 2021Subjects: “…Formal Languages and Automata Theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
37
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Published 2021Subjects: “…Formal Languages and Automata Theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
38
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
39
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
40
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter