STATE OF THE ART REPORT ON GLOBAL AND REGIONAL SOIL INFORMATION:WHERE ARE WE?WHERE TO GO?
2013 年出版69 页ISBN:9251074496
FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
SHAPE PRESERVING REPRESENTATIONS IN COMPUTER-AIDED GEOMETRIC DESIGN
1999 年出版233 页ISBN:1560726911