1
Publicado 2005
Tabla de Contenidos: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
Enlace del recurso
Electrónico eBook