Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed conference proceedings of the 5th International... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book addresses a major problem for today’s large-scale networked systems: certification of the required stability and performance properties using analytical and computational models.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 11th International Conference on Network and... Læs mere
Bemærk: Kan ikke leveres før jul.
The two-volume set LNCS 10704 and 10705 constitutes the thoroughly refereed proceedings... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed conference proceedings of the 11th... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 9th International Workshop on Multiple... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 8th International Workshop on Multiple Access Communications, MACOM 2015, held in Helsinki, Finland, in September 2015. The 12 full papers presented were carefully reviewed and selected from 18 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-workshop proceedings of... Læs mere