1
出版 2007
书本目录: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
获取全文
电子 电子书
2
出版 2006
书本目录: ... Environments -- Session 3: Peer-to-Peer Computing -- The Peering Problem in Tree-Based Master/Worker Overlays...
获取全文
电子 电子书
3
出版 2008
书本目录: ... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...
获取全文
电子 电子书