大约有2,000项符合查询结果项。（搜索耗时：0.0100秒）
为您推荐： 国务院贫困地区经济开发领导小组办公室译 国务院贫困地区经济开发领导小组三西地区办公室 国务院西部地区开发领导小组办公室 国务院扶贫开发领导小组办公室 国务院第一次全国经济普查领导小组办公室 国务院第二次全国经济普查领导小组办公室
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
汉字文化圈数学传统与数学教育 第五届汉字文化圈及近邻地区数学史与数学教育国际学术研讨会论文集
李兆华主编2004 年出版267 页ISBN：7030139372本会议于2002年在天津举行，来自日、韩、印度、中国大陆和台湾，以及俄、美等国学者70余人到会并宣读论文。本书精选其中约30篇论文发表。
-
耶鲁大学开发课程 基础物理 2 电磁学 光学和量子力学
（美）R.SHANKAR著2019 年出版408 页ISBN：7111608240：《耶鲁大学开放课程：基础物理》分上、下两卷，本书为下卷，内容包括电磁学、光学和量子力学等内容。本书可作为高等学校理工科专业学生的教材或参考书，也适用于优秀的高中生及自学人员。配合耶鲁大学视频公开课使...
-
ANSYS二次开发及应用实例详解
师访编著2012 年出版374 页ISBN：9787508492353本书共分三篇，第一篇是二次开发基础篇，共3章来讲解二次开发的工具和UPFs的基础。第二篇是APDL二次开发篇，共4章来讲解APDL参数化建模、APDL优化设计、APDL本构模型开发、APDL数据处理等方面知识；第三篇是UPFs二...
-
东亚地区光学教育与产业发展
刘旭，王珏人，张晓洁著2009 年出版329 页ISBN：9787894905802随着信息技术的发展，光子与电子已成为信息的主要载体，使得信息获取与处理能力得到极大的提高。数字信息技术高速发展的结果，带动了现代光学与光子产业技术高速发展。信息社会的到来使人类对信息量的需求空前增...
-
智能优化的探索-开发权衡理论与方法
陈杰，辛斌著2013 年出版199 页ISBN：9787030369789智能优化方法是解决复杂优化问题、尤其是复杂系统中产生的各种困难优化问题的有效方法。智能优化方法采用启发方式实现问题的优化求解，具有不依赖于梯度、对优化问题的性质几乎没有要求、适用范围广、适于处...
-
化学多媒体课件的设计、开发与制作
崔克宇，张伟娜，梁明慧著2018 年出版265 页ISBN：9787518043248随着计算机科学与技术的高速发展及其化学研究与化学教育的不断交叉、渗透和整合，现代计算机技术正在化学、化工专业的科研、生产、教学中起到日益重要的作用。本书主要论述了化学多媒体课件的设计、开发与制...
-
ANSYS-APDL级工程应用实例分析与二次开发
周宁等编著2007 年出版405 页ISBN：7508449770本书对ANSYS参数化设计语言，即APDL语言的编写结构、参数变量与数组的类型及定义、程序结构控制、宏命令等内容进行了详细的阐述；然后结合一定的实例，依照前处理器、加载与求解处理器、后处理器、后处理器、实...
-
化学综合创新实验 基于广西特色优质资源的开发利用
何英姿主编；盛家荣，刘红星副主编；梁利芳，莫羡忠，马建强等编2014 年出版145 页ISBN：9787564328504本书以广西特色优质资源的开发利用为编写基础，同时从教师的科研课题中筛选出适合本科生的综合创新性实验项目20到25个，包括矿产篇、水果篇、茶叶篇、中草药篇和特产篇。与国内其他同类教材相比，本实验教材注重...
-
图图的智慧王国 创造力潜能开发 电影票之谜
上海上影大耳朵图图影视传媒有限公司著2015 年出版46 页ISBN：9787506080484数学在人们的生活中无处不在。基础数学概念的源泉便是周围的客观现实。所以， 把数学知识回归到儿童的生活之中，让儿童在生活中学习数学、理解真实的数学问题，学会用简单的数学思想、方法解决日常生活中的一些...