for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
Bemærk: Kan ikke leveres før jul.
This volume LNCS 14615 constitutes the refereed proceedings of the 10th... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book covers proceedings of the Future Technologies Conference (FTC) 2024 which showcase a collection of thoroughly researched studies presented at the ninth Future Technologies Conference, held in London, the UK.
Bemærk: Kan ikke leveres før jul.
This book covers proceedings of the Future Technologies Conference (FTC) 2024 which showcase a collection of thoroughly researched studies presented at the ninth Future Technologies Conference, held in London, the UK.
Bemærk: Kan ikke leveres før jul.
This book covers proceedings of the Future Technologies Conference (FTC) 2024 which showcase a collection of thoroughly researched studies presented at the ninth Future Technologies Conference, held in London, the UK.
Bemærk: Kan ikke leveres før jul.
This book covers proceedings of the Future Technologies Conference (FTC) 2024 which showcase a collection of thoroughly researched studies presented at the ninth Future Technologies Conference, held in London, the UK.
Bemærk: Kan ikke leveres før jul.
This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.