Suggested Topics within your search.
Suggested Topics within your search.
- Computer programming / software development
- Software Engineering 38
- Artificial intelligence 36
- Mathematical theory of computation 30
- Algorithms & data structures 14
- Computer networking & communications 12
- Computer science 12
- Programming & scripting languages: general 12
- Computer modelling & simulation 10
- Information technology: general issues 10
- Systems analysis & design 10
- Databases 4
- Discrete mathematics 4
- Computer architecture & logic design 2
- Computing & information technology 2
- Expert systems / knowledge-based systems 2
- Geography 2
- Literature: history & criticism 2
- Mathematical foundations 2
- Maths for scientists 2
- Network hardware 2
- Sustainability 2
-
1
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 -
2
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Database Performance at Scale A Practical Guide
Published 2023“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
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“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
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 -
7
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 -
8
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, Part II
Published 2018“…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
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 -
11
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, Part I
Published 2018“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
Pro TBB C++ Parallel Programming with Threading Building Blocks
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
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 -
15
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
The Once-Only Principle The TOOP Project
Published 2021“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter