Lecture Notes in Artificial Intelligence 4180 OMDoc-An Open Markup Format for Mathematical Documents
2006 年出版428 页ISBN：3540378979
（美）（E.克温）Erica Kerwien著；刘天元，李忠泽译1997 年出版211 页ISBN：7505343963
食品质量安全信息管理 理论与实证 theoretic and empirical study
周洁红，姜励卿著2007 年出版254 页ISBN：7308051846
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
STUDY GUIDE WITH MAP EXERCISES FOR USE WITH THE UNFINISHED NATION A CONCISE HISTORY OF THE AMERICAN
ALAN BRINKLEY2000 年出版184 页ISBN：0072361603
Introduction to information systems : essentials for the internetworked E-business enterprise
James A. OBrien.2001 年出版530 页ISBN：
A Stability Technique For Evolution Partial Differential Equations A Dynamical Systems Approach
Victor A.Galaktionov2004 年出版377 页ISBN：
DATA-DRIVEN MODELING & SCIENTIFIC COMPUTATION METHODS FOR COMPLEX SYSTEMS & BIG DATA
J.NATHAN KUTZ2013 年出版638 页ISBN：0199660346
Grid-connected solar electric systems : the Earthscan expert handbook for planning
design and installation2012 年出版235 页ISBN：1849713448
