Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 64
- Artificial intelligence 49
- Computer science 49
- Computer programming / software development 24
- Algorithms & data structures 22
- Computer networking & communications 22
- Mathematical theory of computation 22
- Software engineering 22
- Theory of Computation 15
- Computer modelling & simulation 12
- Artificial Intelligence 11
- Computer Engineering and Networks 10
- Computer engineering 10
- Computer networks 10
- Systems analysis & design 10
- Computer Science Logic and Foundations of Programming 9
- Computers 9
- Computer Modelling 8
- Computer simulation 8
- Formal Languages and Automata Theory 8
- Machine theory 8
- Control Structures and Microprogramming 6
- Microprogramming 6
- Electronic digital computers 5
- Evaluation 5
- Professions 5
- System Performance and Evaluation 5
- The Computing Profession 5
- Algorithms 4
- Compilers (Computer programs) 4
-
1
-
2
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
Published 2016Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
-
4
-
5
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 -
6
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 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
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 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
8
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
-
11
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
13
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
-
15
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 2021Subjects: 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 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
17
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
-
19
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
20