1
Publicado 2005
Table of Contents: ... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...
Ligazón do recurso
Electrónico eBook
2
Publicado 2015
Table of Contents: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Ligazón do recurso
Electrónico eBook