Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 19
- Artificial intelligence 18
- Software Engineering 18
- Systems analysis & design 12
- Mathematical theory of computation 10
- Algorithms & data structures 8
- Computer architecture & logic design 8
- Computer networking & communications 8
- Computer modelling & simulation 6
- Computer programming / software development 6
- Software testing & verification 6
- Coding theory & cryptology 2
- Computing & information technology 2
- Expert systems / knowledge-based systems 2
- History of engineering & technology 2
- Information technology industries 2
- Literary studies: fiction, novelists & prose writers 2
- Literary theory 2
- Natural language & machine translation 2
- Network hardware 2
- Operating systems 2
- Philosophy of science 2
- Philosophy: logic 2
- Social groups 2
- Technology: general issues 2
- Analytical mechanics 1
- Automatic control engineering 1
- Genetics (non-medical) 1
- Religion & beliefs 1
- linguistics 1
-
1
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
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 -
7
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 -
8
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 -
9
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 -
10
-
11
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 2...
Published 2018Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
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: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
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 -
14
-
15
-
16
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 -
17
-
18
-
19
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: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
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