1
Publicado 2008
Tabla de Contenidos: ... of Length Two -- New Algorithms for k-Center and Extensions -- Separating Sublinear Time Computations...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Enlace del recurso
Electrónico eBook
3
por Spear, Chris., Spear, Chris.
Publicado 2008
Tabla de Contenidos: ... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...
Enlace del recurso
Electrónico eBook