Che Symposium Computation 海外直订Parameterized 参数化和精确计算 5th 2010 第五届国 International Exact and Ipec