Suggested Topics within your search.
Suggested Topics within your search.
- Verification 7
- Computer software 6
- Software engineering 6
- System analysis 4
- System design 4
- Artificial intelligence 2
- Computer programming 2
- Computer programs 2
- Computer science 2
- Computer security 2
- Computer simulation 2
- Data encryption (Computer science) 2
- Home automation 2
- Programming languages (Electronic computers) 2
- Semantic computing 2
- Ambient intelligence 1
- Assistive computer technology 1
- Big data 1
- Computer industry 1
- Computer logic 1
- Computer network architectures 1
- Data mining 1
- Diagnostic imaging 1
- High performance computing 1
- Human-computer interaction 1
- Information theory 1
- Linked data 1
- Logic design 1
- Medical telematics 1
- Natural language processing (Computer science) 1
-
1
-
2
Intelligent human computer interaction : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings /
Published 2017“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
3
Supercomputing frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /
Published 2018“…SpringerOpen,…”
Full Text (via Springer)
Conference Proceeding eBook -
4
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 Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
5
Fundamental approaches to software engineering : 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2018“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
6
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice...
Published 2018“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
7
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice...
Published 2018“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
8
Principles of security and trust : 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalon...
Published 2018“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
9
Programming languages and systems : 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018...
Published 2018“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
10
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...
Published 2019“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
11
Medical imaging systems : an introductory guide /
Published 2018“…Springer Open,…”
Full Text (via Springer)
eBook -
12
High-performance modelling and simulation for big data applications : selected results of the COST Action IC1406 cHiPSet /
Published 2019“…Springer Open,…”
Full Text (via Springer)
eBook -
13
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, C...
Published 2019“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
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...
Published 2019“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
15
Enhanced living environments : algorithms, architectures, platforms, and systems /
Published 2019“…Springer Open,…”
Full Text (via Springer)
eBook -
16
Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.
Published 2018“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
17
Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.
Published 2019“…SpringerOpen,…”
Full Text (via Springer)
Conference Proceeding eBook -
18
Multiple-aspect analysis of semantic trajectories : first International Workshop, MASTER 2019, held in conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proce...
Published 2020“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
19
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...
Published 2020“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
20
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...
Published 2020“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook