Suggested Topics within your search.
Suggested Topics within your search.
- Systems analysis & design
- Computer science 16
- Software Engineering 16
- Information technology: general issues 14
- Mathematical theory of computation 13
- Artificial intelligence 8
- Computer programming / software development 8
- Network hardware 8
- Algorithms & data structures 6
- Computer modelling & simulation 6
- Expert systems / knowledge-based systems 6
- Operating systems 6
- Computer architecture & logic design 4
- Information retrieval 4
- Programming & scripting languages: general 4
- Games development & programming 3
- Computer networking & communications 2
- Computer security 2
- Computing & information technology 2
- Data capture & analysis 2
- Data mining 2
- Epidemiology & medical statistics 2
- Ethical & social aspects of IT 2
- Human-computer interaction 2
- Image processing 2
- Impact of science & technology on society 2
- Mathematical foundations 2
- Mathematical physics 2
- Mathematics 2
- Maths for engineers 2
-
1
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 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
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 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
3
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 2019Subjects: 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 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5
-
6
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 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
7
Smittestopp − A Case Study on Digital Contact Tracing
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Smittestopp − A Case Study on Digital Contact Tracing
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
9
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Published 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
11
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 2019Subjects: 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 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
-
14
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 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
15
Mathematical Aspects of Logic Programming Semantics
Published 2011Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
16
-
17
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 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
18
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 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
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 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
20
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 2020Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter