Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 3
- Computer programming / software development 3
- Computer science 2
- Mathematical foundations 2
- Mathematical theory of computation 2
- Algorithms & data structures 1
- Computer modelling & simulation 1
- Computer networking & communications 1
- Databases 1
- Discrete mathematics 1
- Environmental science, engineering & technology 1
- Health & safety issues 1
- Health systems & services 1
- History of engineering & technology 1
- Mathematics & science 1
- Migration, immigration & emigration 1
- Programming & scripting languages: general 1
- Research & information: general 1
- Social & cultural anthropology, ethnography 1
- Software Engineering 1
- Street theatre 1
- Systems analysis & design 1
- Technology: general issues 1
- Theatre direction & production 1
- Theatre studies 1
-
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
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: “…modal, spatial, and temporal logics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Landscapes of Care Immigration and Health in Rural America
Published 2023Subjects: 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…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Multi-Sensor Systems and Data Fusion in Remote Sensing
Published 2023Subjects: 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…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Deductive Systems in Traditional and Modern Logic
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
-
9
-
10
Street theatre and the production of postindustrial space Working memories
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter