1
出版 2007
书本目录: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
获取全文
电子 电子书
2
出版 2012
书本目录: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
获取全文
电子 电子书