1
出版 2013
书本目录: ... -- Expected Termination Time in BPA Games -- Precise Cost Analysis via Local Reasoning -- Control Flow...
获取全文
电子 电子书
2
出版 2010
书本目录: ... with Fixed-Precision Arithmetic -- Exact Geometric and Algebraic Computations in CGAL -- On Solving Systems...
获取全文
电子 电子书
3
出版 2006
书本目录: ... Molding Techniques for the Fabrication of MEMS Elements -- Excimer Laser Micromachined Three-dimensional...
获取全文
电子 电子书