Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 13th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-conference proceedings of... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 17th International... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis,... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the Third International... Læs mere
Bemærk: Kan ikke leveres før jul.
This volume LNCS 11877 constitutes the refereed proceedings of the... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 20th International... Læs mere