Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN：9780521883337
ADVANCED SYSTEM MODELLING AND SIMULATION WITH BLOCK DIAGRAM LANGUAGES
2222 年出版350 页ISBN：0849394791
RF MEASUREMENTS FOR CELLULAR PHONES AND WIRELESS DATA SYSTEMS
2008 年出版503 页ISBN：9780470129487
System 360/370 Job Control Language and The Access Methods
1977 年出版340 页ISBN：0201027550
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：
THE JAPANESE MARKET ECONOMY SYSTEM:ITS STRENGTHS AND WEAKNESSES
2222 年出版157 页ISBN：4924971030
Microprocess or Systems and Their Application To Signal Processing
2222 年出版313 页ISBN：0127749500
New deals the chrysler revival and the American system
1985 年出版359 页ISBN：0812911806
THE SOVIET LAWYER AND HIS SYSTEM GEORGE DANACAMERON III
1978 年出版198 页ISBN：0877121850
