1
出版 2008
书本目录: ... with Chosen Vertex Degrees -- Fixed-Parameter Tractability of Anonymizing Data by Suppressing Entries...
获取全文
电子 电子书
2
出版 2010
书本目录: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
获取全文
电子 电子书