Suggested Topics within your search.
Suggested Topics within your search.
- Algorithms & data structures
- Computer science 10
- Software Engineering 6
- Computer networking & communications 4
- Systems analysis & design 4
- Artificial intelligence 2
- Coding theory & cryptology 2
- Computer modelling & simulation 2
- Computer programming / software development 2
- Computing & information technology 2
- Mathematical foundations 2
- Mathematical theory of computation 2
- Natural language & machine translation 2
- Network hardware 2
- Programming & scripting languages: general 2
-
1
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
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 2022, Munich, Germany, April 2-7, 2022, Proceedings
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
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 2022, Munich, Germany, April 2-7, 2022, Proceedings
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5
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 Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
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 Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
7
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
10
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter