1
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
2
Publicado 2013
Tabla de Contenidos: ... Classification in a Manhattan World -- Online Learning for Fast Segmentation of Moving Objects -- A Linear...
Enlace del recurso
Electrónico eBook
3
Publicado 2013
Tabla de Contenidos: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
Enlace del recurso
Electrónico eBook
4
Publicado 2011
Tabla de Contenidos: ...-Threshold Computing of ECRL Circuits for Ultralow-Power Applications -- A Dual-Threshold CMOS Technique of P...
Enlace del recurso
Electrónico eBook
5
Publicado 2005
Tabla de Contenidos: ...: An Application to Gene Expression Data Analysis -- Local Pattern Discovery in Array-CGH Data -- Learning...
Enlace del recurso
Electrónico eBook
6
Publicado 2013
Tabla de Contenidos: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Enlace del recurso
Electrónico eBook