黄薇，郑海涛，任若恩著2012 年出版179 页ISBN：7030331745
本书在对国际经济、金融问题中涉及的主要多边领域进行系统介绍的基础上，全面回顾了这些领域中常用的或主流的多边测算方法及其方法论基础，并对这些方法进行了实际的应用。全书主要涉及多边权重测算方法论、有...
程远泽，陈善雄，（美）塞缪尔·T.阿里亚拉特纳姆著2017 年出版110 页ISBN：9787564636654
建立了水平定向钻进施工中泥浆压力作用下的地面位移计算模型，提出了可考虑土体软化效应的水平定向钻进施工最大允许注浆压力计算模型。通过现场试验和数值模拟，阐明了埋深、注浆类型、钻孔埋深、钻孔孔径、粘...
环境保护部化学品登记中心，《化学品测试方法》编委会编2013 年出版416 页ISBN：9787511115553
生物系统效应、降解与蓄积是化学品环境危害性的主要方面，相应的测试数据是开展化学品生态危害及环境风险评估的基础资料。本书介绍了国际上普遍采用的化学品生物系统效应测试方法36个、降解与蓄积测试方法32...
张泉，黄富民，王树盛等著2016 年出版266 页ISBN：9787112185108
全书分为三篇，涵盖了城市交通规划的主要领域。第I篇为理论篇，包括低碳生态交通规划的理论基础、低碳生态的城市交通规划控制引导指标；第II篇为方法篇，主要包括优先型的城市公共交通规划方法、友好型的城市慢行...
语用标记理论与应用 翻译评估的新方法 a new approach to translation evaluation
侯国金著2005 年出版286 页ISBN：7561430817
本书为英文翻译语用学的研究，共分7章，首先探讨了语音和语用各主要层次的标记性，然后在介绍等效翻译理论的优缺点之后，阐明了该原则的特点及其在翻译中的作用，以及用相关的实例对比分析，说明了语用标记等效原则......
软件工程 实践者的研究方法 a practitioner's approach
（美）Roger S.Pressman著；郑人杰，马素霞，白晓颖等译2007 年出版702 页ISBN：7111194004
本书是全面介绍了软件工程概念、方法的计算机科学书。
（以）佩莱得著2012 年出版199 页ISBN：9787111365532
本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...
