Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 84
- Software Engineering 78
- Computer networking & communications 60
- Computer science 52
- Computer programming / software development 46
- Algorithms & data structures 42
- Mathematical theory of computation 38
- Information technology: general issues 36
- Systems analysis & design 34
- Network hardware 32
- Expert systems / knowledge-based systems 24
- Information retrieval 24
- User interface design & usability 22
- Computer modelling & simulation 20
- Programming & scripting languages: general 20
- Image processing 16
- Information technology industries 13
- Computer vision 10
- Energy industries & utilities 10
- Operating systems 10
- Coding theory & cryptology 8
- Coins, banknotes, medals, seals (numismatics) 8
- Computer architecture & logic design 8
- Computer security 8
- Biochemical engineering 6
- Databases 6
- Machine learning 6
- Management of specific areas 6
- Manufacturing industries 6
- Computer hardware 4
-
1
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Ethics and Responsible Research and Innovation in Practice The ETHNA System Project
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
How AI Impacts Urban Living and Public Health 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
Published 2019“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Published 2019“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
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“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
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“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
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“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: 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“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
Telecommunication Economics: Selected Results of the COST Action IS0605
Published 2012“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter