Suggested Topics within your search.
Suggested Topics within your search.
- Systems analysis & design
- Software Engineering 26
- Information technology: general issues 18
- Artificial intelligence 16
- Network hardware 16
- Computer science 14
- Mathematical theory of computation 14
- Algorithms & data structures 12
- Expert systems / knowledge-based systems 12
- Computer programming / software development 10
- Information retrieval 8
- Computer modelling & simulation 6
- Computer networking & communications 6
- Computer security 6
- Operating systems 6
- Computer architecture & logic design 4
- Computer vision 4
- Programming & scripting languages: general 4
- User interface design & usability 4
- Circuits & components 2
- Coding theory & cryptology 2
- Communications engineering / telecommunications 2
- Computing & information technology 2
- Databases 2
- Epidemiology & medical statistics 2
- Mathematical foundations 2
- Mathematical physics 2
- Maths for engineers 2
- Maths for scientists 2
- Natural language & machine translation 2
-
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
Performance Engineering Learning Through Applications Using JMT
Published 2024“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
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 -
4
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 -
5
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 -
6
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
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 -
10
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceeding...
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
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 -
13
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Software for Exascale Computing - SPPEXA 2016-2019
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
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 -
17
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 -
18
Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
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 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2022“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter