杜瑞芝主编2000 年出版858 页ISBN：753282845X
本书内容共分12个知识门类。数学家辞条一般都附有生卒年、月、日及生卒地点，每个辞条释文一般在开头对标题作必要的概括性解释，然后介绍有关历史。...
杜文才，常颖，杜锋著2009 年出版402 页ISBN：9787811344189
本书分析了旅游电子商务的相关技术基础，并以实例探讨了旅游电子商务的应用。
李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094
本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
