Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 9
- Computer science 9
- Software Engineering 9
- Systems analysis & design 6
- Mathematical theory of computation 5
- Algorithms & data structures 4
- Computer architecture & logic design 4
- Computer networking & communications 4
- Computer modelling & simulation 3
- Computer programming / software development 3
- Software testing & verification 3
- Analytical mechanics 1
- Coding theory & cryptology 1
- Computing & information technology 1
- Expert systems / knowledge-based systems 1
- Literary studies: fiction, novelists & prose writers 1
- Literary theory 1
- Natural language & machine translation 1
- Network hardware 1
- Operating systems 1
- Philosophy of science 1
- Philosophy: logic 1
- Social groups 1
-
1
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
2
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
3
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
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 20...
Published 2018Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
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 2018Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
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 2018Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
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, Thessaloni...
Published 2018Subjects: OAPEN Library: download the publication
OAPEN Library: 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 o...
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
10
-
11
-
12
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 20...
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
13
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 o...
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
14
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: 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 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
16
-
17
-
18
Course notes on finite games and rational choice
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
19
Structure and Interpretation of Classical Mechanics
Published 2015OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
20