Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 10
- Artificial intelligence 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
- History of engineering & technology 2
- Information technology industries 2
- Technology: general issues 2
- Automatic control engineering 1
- Coding theory & cryptology 1
- Computing & information technology 1
- Expert systems / knowledge-based systems 1
- Genetics (non-medical) 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
- Religion & beliefs 1
- Social groups 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
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 -
7
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 -
8
-
9
-
10
-
11
-
12
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 -
13
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 -
14
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: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
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: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
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: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
19
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20
Evolutionary Algorithms in Intelligent Systems
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter