Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN：9780521883337
RF MEASUREMENTS FOR CELLULAR PHONES AND WIRELESS DATA SYSTEMS
2008 年出版503 页ISBN：9780470129487
FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
1979 年出版297 页ISBN：0444853944
NONLINEAR CONSERVATION LAWS，FLUID SYSTEMS AND RELATED TOPICS
GUI-QIANG CHEN TA-TSIEN LI CHUN LIU著2009 年出版390 页ISBN：
Microprocess or Systems and Their Application To Signal Processing
2222 年出版313 页ISBN：0127749500
PHARMACEUTICAL DOSAGE FORMS AND DRUG DELIVERY SYSTEMS SIXTH EDITION
1995 年出版514 页ISBN：0683001930
COMPUTER-BASED ENERGY MANAGEMENT SYSTEMS TECHNOLOGY AND APPLICATIONS
1984 年出版242 页ISBN：0121733807
Applied Dynamics With Applications to Multibody and Mechatronic Systems
2008 年出版567 页ISBN：9783527407514
PHARMACEUTICAL DOSAGE FORMS AND DRUG DELIVERY SYSTEMS SEVENTH EDITION
1999 年出版595 页ISBN：0683305727
ACQUIRING MAJOR SYSTEMS CONTRACTS BIDING METHODS AND WINNING STRATEGIES
1988 年出版233 页ISBN：0471852473
