Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 19
- Artificial intelligence 18
- Software Engineering 18
- Systems analysis & design 12
- Mathematical theory of computation 10
- Algorithms & data structures 8
- Computer architecture & logic design 8
- Computer networking & communications 8
- Computer modelling & simulation 6
- Computer programming / software development 6
- Software testing & verification 6
- Coding theory & cryptology 2
- Computing & information technology 2
- Expert systems / knowledge-based systems 2
- History of engineering & technology 2
- Information technology industries 2
- Literary studies: fiction, novelists & prose writers 2
- Literary theory 2
- Natural language & machine translation 2
- Network hardware 2
- Operating systems 2
- Philosophy of science 2
- Philosophy: logic 2
- Social groups 2
- Technology: general issues 2
- Analytical mechanics 1
- Automatic control engineering 1
- Genetics (non-medical) 1
- Religion & beliefs 1
- linguistics 1
-
21
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
22
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
23
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: DOAB: download the publication
DOAB: 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: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
25
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
26
-
27
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 -
28
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: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
29
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
30
-
31
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
32
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: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
33
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
34
Evolutionary Algorithms in Intelligent Systems
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
35
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
36
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
37
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
38
Advancements in the Practical Applications of Agents, Multi-Agent Systems and Simulating Complex Systems
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
39
Feasible, Robust and Reliable Automation and Control for Autonomous Systems
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
40