FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
ELECTRON MICROSCOPY OF ENZYMES PRINCIPLES AND METHODS VOLUME I
1973 年出版201 页ISBN:0442256760
ALGEBRAIC METHODS IN THE GLOBAL THEORY OF COMPLEX SPACES
1976 年出版296 页ISBN:0471018090
INTRODUCTION TO SIMULATION Programming Techniques and Methods of Analysis
1982 年出版324 页ISBN:0070489459
SIGNALS AND SYSTEMS ANALYSIS USING TRANSFORM METHODS AND MATLAB
2004 年出版1054 页ISBN:0072499427
NEW AND FUTURE DEVELOPMENTS IN COMMERCIAL FINITE ELEMENT METHODS
1981 年出版538 页ISBN:0950717223
System 360/370 Job Control Language and The Access Methods
1977 年出版340 页ISBN:0201027550