1
Published 2006
Table of Contents: ... Programming System -- optsat: A Tool for Solving SAT Related Optimization Problems -- Automated Reasoning...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Function through Reaching and Grasping -- Joint Protection: Enabling Change in Musculoskeletal Conditions...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... FUNCTIONS -- MOVING LEAST SQUARE SPH USING FIXED KERNEL FOR LARGE DEFORMATION ELASTO-PLASTIC ANALYSIS -- A...
View full text
Electronic eBook