Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN：
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
Neural Network Control of Robot Manipulators and Nonlinear Systems
1999 年出版442 页ISBN：0748405968
