Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN：
软件开发 建立可靠的系统 building reliable systems
（美） 马克·汉密尔顿著；Marc Hamilton 徐卫东译2003 年出版266 页ISBN：7801900022
本书概括介绍软件开发概念的背景；介绍与软件开发相关的人员要求问题；介绍软件开发程序；介绍软件开发技术及软件开发十戒律等。
审前羁押制度演变的比较研究 Chinese-English version
林蔚然，白德胜，柏恩敬等编译2018 年出版211 页ISBN：9787519722135
本书以两个专题的形式，以创新的双语模式介绍了在迥然不同的社会体系下的中美两个刑事司法体系是如何应对审前羁押制度，如何确立一套审前羁押和释放的程序和标准。并且通过案例比较，分析了每个法域在审前羁押方...
College English Reading and Writing=大学英语 读写教程
王捷总主编；王维平主编，叶盛，颜天明，徐超参编2014 年出版178 页ISBN：7563230793
本教材共10个单元，包括大陆与海洋，地球，气候，飓风，环境污染，航海家，文化礼仪，工作与个人发展，有机食物，健康生活：Continents and Oceans; The Earth; Climate and Weather; Hurricanes and Tsunami; Pollution; Explor...
英语演讲选评100篇 “CCTV杯”全国英语演讲大赛2002-2005 “CCTV Cup”English speaki
（英）SUEKAY，金利民，樊葳葳编著2006 年出版228 页ISBN：
