当前位置：首页 > 名称
大约有4,000项符合查询结果项。（搜索耗时：0.0214秒）
为您推荐： title证明责任论 第5版 证明责任 经济法责任论 证明论 违约责任论 修订版 特惠 现代证明责任
-
水权使用者的社会责任论
谢文轩，田贵良，崔培等著2011 年出版193 页ISBN：9787550901353本书从水权使用者的水权获取与交易、社会责任及其架构、履责的成本-收益分析，履责动力因素与模型研究，样本数据的实证分析，履责的动力机制设计方面建立水权使用者的动力机制。供水行政主管部门的相关工作人员...
-
-
-
-
-
-
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...