FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
LINEAR AND COMPLEX ANALYSIS PROBLEM BOOK 3: PART II
1994 年出版511 页ISBN:3540578714;0387578714
Mathematical concepts and methods in modern biology using modern discrete models
Raina Robeva ; Terrell L.Hodge2013 年出版349 页ISBN:0124157804