1
Publié 2012
Table des matières: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
Accéder au texte intégral
Électronique eBook
2
Publié 2007
Table des matières: ...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...
Accéder au texte intégral
Électronique eBook
3
Publié 2005
Table des matières: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Accéder au texte intégral
Électronique eBook
4
Publié 2015
Table des matières: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ... -- InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services...
Accéder au texte intégral
Électronique eBook