FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
SHAPE PRESERVING REPRESENTATIONS IN COMPUTER-AIDED GEOMETRIC DESIGN
1999 年出版233 页ISBN:1560726911
Relational Database Design and Implementation:Clearly Explained Third Edition
2009 年出版420 页ISBN:9780123747303
Entity-Relationship Approach to Database Design and Querying
1990 年出版435 页ISBN:0444887164
Data Mining for Design and Manufacturing Methods and Applications
2001 年出版524 页ISBN:1402000340
CAD ED Internationl Conference on Computer Aided Design Education
1978 年出版403 页ISBN:0902852817