Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence
- Mathematical theory of computation
- Computer programming / software development 26
- Software Engineering 24
- Algorithms & data structures 10
- Computer modelling & simulation 8
- Computer networking & communications 6
- Systems analysis & design 6
- Information technology: general issues 4
- Computer architecture & logic design 2
- Computer science 2
- Computer vision 2
- Discrete mathematics 2
- Programming & scripting languages: general 2
-
1
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
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 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
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 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
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 2018“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
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 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
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 2018“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021“…Springer Nature…”
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 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Computational Science - ICCS 2022 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
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 2018“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
16
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 2018“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
17
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
18
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 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
19
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 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
20
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 2019“…Springer Nature…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter