1
Publicado 2008
Table of Contents: ... the Calculus of Relations -- Session 3: Automated Verification -- Towards SMT Model Checking of Array-Based...
Ligazón do recurso
Electrónico eBook
2
Publicado 2005
Table of Contents: ... Programming and Environment -- A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs...
Ligazón do recurso
Electrónico eBook