当前位置：首页 > 名称
大约有9,000项符合查询结果项。（搜索耗时：0.0159秒）
为您推荐： 中国指导案例与审判依据 写组 公司股权指导案例与审判依据 写组著 交通事故损害赔偿指导案例与审判依据 中国涉外商事海事审判指导与研究 房地产开发企业会计核算与纳税实务一本通 最高人民法院专家法官阐释疑难问题与案例指导
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
数学教学技能与案例设计研究
张磊，张君敏编著2014 年出版322 页ISBN：9787811357813本书为《基础会计学》的配套教辅，主要是为配合《基础会计学》的学习而编写，各章内容由三个部分组成，即本章学习的关键要点、综合练习与思考及习题答案。全书体例简单，重点突出，综合实训设计具有较强的实践性和指...
-
-
-
-
-
-
-
