for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry.
This book constitutes the refereed proceedings of the 20th International... Læs mere
This book constitutes the proceedings of the 21st International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2022, held in Barranquilla, Colombia, in July 2022.
Computational and Applied Mathematics (CAM 2022), Computational and Applied Statistics (CAS 2022); Advanced and Computational Methods for Earth Science Applications (WACM4ES 2022);
This book constitutes revised selected papers of the Third International... Læs mere
Computational and Applied Mathematics (CAM 2022), Computational and Applied Statistics (CAS 2022); Advanced and Computational Methods for Earth Science Applications (WACM4ES 2022);
This book constitutes the refereed proceedings of the 4th International... Læs mere
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint... Læs mere
The three-volume sets constitute the refereed proceedings of the 15th International Conference on Knowledge Science, Engineering and Management, KSEM 2022, held in Singapore, during August 6–8, 2022.
This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Helsinki, Finland, in June 2022. The 13 full papers presented were carefully reviewed and selected from 21 submissions.
This book constitutes the refereed proceedings of the 12h International... Læs mere