FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN：0444886885
SHAPE PRESERVING REPRESENTATIONS IN COMPUTER-AIDED GEOMETRIC DESIGN
1999 年出版233 页ISBN：1560726911
SIXTH EDITION THE ANALYSIS AND DESIGN OF LINEAR CIRCUITS
2009 年出版904 页ISBN：9780470566879
ANALYSIS AND DESIGN OF DIGITAL CIRCUITS AND COMPUTER SYSTEMS
1976 年出版598 页ISBN：0916460037
DESIGN AND IMPLEMENTATION OF COMPUTER-BASED INFORMATION SYSTEMS
1979 年出版368 页ISBN：9028605193
HOTEL DESIGN INTERNATIONAL PORTFOLIO OF THE FINEST CONTEMPORARY DESIGNS
1994 年出版158 页ISBN：1564962210
The Design of the Management Information System REVISED EDITION
1976 年出版238 页ISBN：0884053202
