当前位置:首页 > (美)玛尔江·默哈达母相关PDF电子书下载
-
-
-
-
-
财务模型 公司估值、兼并与收购、项目融资
(美)爱德华·博德默著;张鲁明,刘振山译2018 年出版539 页ISBN:9787111584322《财务模型:公司估值、兼并与收购、项目融资》一书对有志于创建、解读、了解财务模型的人来说是一本综合性指导用书。本书汇集了作者多年以来从事建模、模型评估等工作及教授公司融资、项目融资、并购和房地...
-
高阶逻辑辅助证明系统
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
-
圆锥曲线论 卷5-7
(古希腊)阿波罗尼奥斯著;(美)G.J.图默编辑;英译及注释;朱恩宽,冯汉桥,郝克琦译2014 年出版374 页ISBN:9787536952812《圆锥曲线论》是古希腊演绎几何的最高成就,在17世纪笛卡儿和费马的坐标几何出现之前,阿波罗尼奥斯用纯几何地方法研究圆锥曲线,它得到今日解析几何才能得出的一些主要结论,着实令人惊叹,它几乎使近20个世纪的后...
-