1
Publicado em 2012
Sumário: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2007
Sumário: ...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2005
Sumário: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2015
Sumário: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2010
Sumário: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Obter o texto integral
Recurso Eletrônico livro eletrônico