Verification of Sequential and Concurrent Programs Second Edition
1997 年出版364 页ISBN：0387948961
PRINTING INK AND OVERPRINT VARNISH FORMULATIONS Recent Developments
1991 年出版163 页ISBN：0815512597
Thrillers Genesis and Structure of a Popular Genre
1978 年出版232 页ISBN：0713161434
DYNAMIC ANALYSIS AND FAILURE MODES OF SIMPLE STRUCTURES
2222 年出版354 页ISBN：0471635057
Essential MATLAB for Engineers and Scientists Fourth Edition
2010 年出版391 页ISBN：0123748836
MAPPING LITERATURE THE ART AND POLITICS OF TRANSLATION
1988 年出版127 页ISBN：0919890857
Mechanical Testing Methodology for Ceramic Design and Reliability
1998 年出版434 页ISBN：0824795679
TOWARDS A SUSTAINABLE ASIA:ENVIRONMENT AND CLIMATE CHANGE
2011 年出版103 页ISBN：3642166716
REAL-TIME VIDEO COMPRESSION Techniques and Algorithms
1997 年出版164 页ISBN：0792397878
