1
Published 2006
Table of Contents: ... for Triangular Meshes Using Local Radial Basis Function -- Hexahedral Meshing -- A Constructive Approach...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
View full text
Electronic eBook