当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0370秒)
为您推荐: 汉代考古与汉文化国际学术研讨会论文集 纪念元好问八百年诞辰学术研讨会筹备会 伦敦中国艺术国际展览会筹备委员会辑 press北京 艺术与科学电子出版社 press北京艺术与科学电子出版社 press弘扬老子文化国际研讨会筹备委员会
-
-
-
-
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
-
高分子科学与技术前沿课题
周其凤,程正迪主编2004 年出版461 页ISBN:7301071418本书是为庆祝北京大学高分子学科建立50周年而出版发行的。汇集了国内外近30位在高分子界顶级作者对自己的研究工作领域的综述,反映了21世纪高分子科学与技术前沿的研究成果。...
-
-
文科物理学教程 物理概念与科学文化素养
吴大江,呼中陶主编2010 年出版486 页ISBN:9787303108749本书根据高等学校大学文科物理课程教学基本要求,吸取国内外精品教材的精华、在教学改革的实践和总结教学经验的基础上探讨两种文化的融合而编写的。...
-
学科分类