for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 6th International Conference on Internet Science held... Læs mere
This book constitutes the refereed post-conference proceedings of the... Læs mere
The two-volume set of LNCS 11941 and 11942 constitutes the refereed... Læs mere
This book constitutes the proceedings of the 39th SGAI International... Læs mere
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.