for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions.
This book constitutes the proceedings of the 5th International Conference on... Læs mere
This book constitutes the proceedings of the 17th IMA International Conference on... Læs mere
This book constitutes the refereed proceedings of the 20th International... Læs mere
This book constitutes the refereed proceedings of the 12th Software... Læs mere
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
This book constitutes the refereed proceedings of the 48th Annual... Læs mere
This book constitutes the refereed proceedings of the 15th International... Læs mere