大约有6,000项符合查询结果项。（搜索耗时：0.0173秒）
为您推荐： pressぎょうせい press青岛经济技术开发区劳动和社会保障局 青岛经济技术开发区劳动和社会保障局 pressぎょうせい中国水利水电出版社 北京市劳动和社会保障局 杭州市劳动和社会保障局编
-
机遇与挑战 二氧化碳资源开发与利用
师春元，黄黎明，陈赓良主编2006 年出版355 页ISBN：7502158308本书详细地介绍了二氧化碳的性质、排放与储存、分离方法、生产以及产品的标准、分析方法等。
-
珠心算教育与少儿智力开发
王朝才编著2006 年出版258 页ISBN：7505857215本书是中珠协近几年来在全国进行儿童珠心算教育对比测试研究的一批优秀成果，对于进一步促进珠心算在全国的普及、推进珠心算教育科研的开展，具有重要意义。...
-
做一个数学天才 900个开发思维的趣味数学游戏
张祥斌主编2010 年出版258 页ISBN：9787512402348本书精选900个经典数学思维游戏，集科学性与趣味性于一体，让你从全新的角度认识数学这门听起来复杂、抽象的学科。最大限度地开发大脑潜能，全面提升创新能力、想象力、思维能力，想不聪明都难！...
-
功能性多糖胶开发与应用
蒋建新，菅红磊，朱莉伟等编著2013 年出版350 页ISBN：9787501990825本书介绍了多糖胶的分类、生物学功能和生物合成、多糖胶的共性与应用，植物籽多糖胶、树木多糖胶、果胶、魔芋多糖胶、海藻多糖胶、微生物多糖胶和动物多糖胶的组成、结构和性质，并重点介绍了它们的生产技术、...
-
1/1000000的人才会做的数学游戏 脑力开发终极版
（英）杜德尼著；考永贵，聂永革译2014 年出版319 页ISBN：7550007616本书作者根据历代数学家流传下来的数学趣题进行编排，用清晰的图画和解释为人们展开了一数学图景，对于各类人群的脑力开发都有重要的参考价值。本书曾入选和剑桥的数学参考书，是一本不可多得的数学游戏类书籍。...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
ANSYS二次开发及应用实例详解
师访编著2012 年出版374 页ISBN：9787508492353本书共分三篇，第一篇是二次开发基础篇，共3章来讲解二次开发的工具和UPFs的基础。第二篇是APDL二次开发篇，共4章来讲解APDL参数化建模、APDL优化设计、APDL本构模型开发、APDL数据处理等方面知识；第三篇是UPFs二...
-
智能优化的探索-开发权衡理论与方法
陈杰，辛斌著2013 年出版199 页ISBN：9787030369789智能优化方法是解决复杂优化问题、尤其是复杂系统中产生的各种困难优化问题的有效方法。智能优化方法采用启发方式实现问题的优化求解，具有不依赖于梯度、对优化问题的性质几乎没有要求、适用范围广、适于处...
-
化学多媒体课件的设计、开发与制作
崔克宇，张伟娜，梁明慧著2018 年出版265 页ISBN：9787518043248随着计算机科学与技术的高速发展及其化学研究与化学教育的不断交叉、渗透和整合，现代计算机技术正在化学、化工专业的科研、生产、教学中起到日益重要的作用。本书主要论述了化学多媒体课件的设计、开发与制...
-
ANSYS-APDL级工程应用实例分析与二次开发
周宁等编著2007 年出版405 页ISBN：7508449770本书对ANSYS参数化设计语言，即APDL语言的编写结构、参数变量与数组的类型及定义、程序结构控制、宏命令等内容进行了详细的阐述；然后结合一定的实例，依照前处理器、加载与求解处理器、后处理器、后处理器、实...