Suggested Topics within your search.
Suggested Topics within your search.
- Systems analysis & design
- Computer architecture & logic design 8
- Artificial intelligence 6
- Mathematical theory of computation 6
- Software testing & verification 6
- Software Engineering 4
- Algorithms & data structures 2
- Computer science 2
- Computing & information technology 2
- Expert systems / knowledge-based systems 2
- Natural language & machine translation 2
- Network hardware 2
- Operating systems 2
-
1
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 -
2
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 -
3
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 -
4
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 -
5
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 -
6
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 -
7
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 -
8
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 -
9
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 -
10
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 -
11
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 -
12
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