MATHEMATICAL FOUNDATIONS IN ENGINEERING AND SCIENCE ALGBRA AND ANALYSIS
1981 年出版484 页ISBN:0135610354
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN:
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN:071676864X