Suggested Topics within your search.
Suggested Topics within your search.
- Information technology: general issues
- Software Engineering
- Systems analysis & design 7
- Computer programming / software development 5
- Artificial intelligence 4
- Computer science 3
- Computer vision 3
- Expert systems / knowledge-based systems 3
- Mathematical theory of computation 3
- Network hardware 3
- Computer modelling & simulation 2
- Computer networking & communications 2
- Programming & scripting languages: general 2
- User interface design & usability 2
- Computer security 1
- Computer-aided design (CAD) 1
- Electrical engineering 1
- Geography 1
- Information retrieval 1
- The environment 1
-
1
Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019“…Springer Nature…”
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 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
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 -
7
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
The Once-Only Principle The TOOP Project
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
Participative Urban Health and Healthy Aging in the Age of AI 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 - June 1, 2022, Revised Selected Papers
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter