Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN：
Design of VLSI Circuits Based on VENUS With 192 Figures
E.Horbst1987 年出版318 页ISBN：
FUNDAMENTALS OF PROGRAM DESIGN AND DATA STRUCTURES WITH C++
KENNETH A.LAMBERT AND THOMAS L.NAPS1998 年出版534 页ISBN：
A SURVEY OF MATHEMATICS WITH APPLICATIONS EXPANDED SIXTH EDITION
ALLEN R.ANGEL AND STUART R.PORTER2001 年出版837 页ISBN：
ANALYSIS AND DESIGN OF DIGITAL CIRCUITS AND COMPUTER SYSTEMS
1976 年出版598 页ISBN：0916460037
