Suggested Topics within your search.
Suggested Topics within your search.
- Mathematical theory of computation
- Artificial intelligence 17
- Computer programming / software development 13
- Software Engineering 12
- Systems analysis & design 7
- Algorithms & data structures 5
- Computer architecture & logic design 4
- Computer modelling & simulation 4
- Computer networking & communications 3
- Information technology: general issues 3
- Software testing & verification 3
- Computer science 2
- Robotics 2
- Computer vision 1
- Data capture & analysis 1
- Data mining 1
- Discrete mathematics 1
- Ethical & social aspects of IT 1
- Games development & programming 1
- Human-computer interaction 1
- Image processing 1
- Impact of science & technology on society 1
- Mathematics 1
- Neural networks & fuzzy systems 1
- Programming & scripting languages: general 1
- User interface design & usability 1
-
1
-
2
-
3
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 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
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 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Cognitive Robotics
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Computational Science - ICCS 2022 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…Artificial intelligence bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…Artificial intelligence bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
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 -
12
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 -
13
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 -
14
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…Artificial intelligence bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Subjects: “…Artificial intelligence bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
AI Knowledge Transfer from the University to Society Applications in High-Impact Sectors
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter