1
Publicado 2012
Table of Contents: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
Ligazón do recurso
Electrónico eBook
2
Publicado 2007
Table of Contents: ...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Ligazón do recurso
Electrónico eBook
4
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
5
Publicado 2010
Table of Contents: ... -- InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services...
Ligazón do recurso
Electrónico eBook