(美)麦克尔·库斯玛诺(Michael A.Cusumano),(日)延岗健太郎著;高文海译2004 年出版273 页ISBN:7100041198
本书是精益思想的深入和发展,是在企业的产品开发和项目管理方面的深入探讨。
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
阿方兹·伦吉尔著2006 年出版188 页ISBN:7806708847
本书介绍田野考古的基本程序和步骤,同时叙述了中国考古现状及考古与国家经济发展的远大意义,是考古工作者及相关专业人士研究、学习的重要参考。...
(英)哈兹里特(Hazlitt,William)著;沙铭瑶译1992 年出版360 页ISBN:7530610600
哈兹里特是英国著名近代散文家,本书选译了他的散文代表作。
FUNDAMENTALS OF CORPORATE FINANCE FIFTH EDITION
理查德·A·布雷利 斯图尔特·C·迈尔斯 艾伦·J·马库斯著2007 年出版456 页ISBN:7300079911
本书介绍公司理财的基础理论知识与实务操作。