Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence
- Computer programming / software development 6
- Computer modelling & simulation 2
- Computer networking & communications 2
- Computer science 2
- Databases 2
- Discrete mathematics 2
- Mathematical foundations 2
- Mathematical theory of computation 2
- Programming & scripting languages: general 2
- Software Engineering 2
-
1
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 -
2
-
3
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: “…modal, spatial, and temporal logics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
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: “…modal, spatial, and temporal logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: “…modal, spatial, and temporal logics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: “…modal, spatial, and temporal logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter