adina在水利工程中的应用与开发相关图书搜索结果

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有20,000项符合查询结果项。（搜索耗时：0.0308秒）

交互式定理证明与程序开发 Coq归纳构造演算的艺术【数理化】

点击试读在线购买
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
嵌入式开发技术原理与实践【工业技术】

点击试读在线购买
郑伟编著2010 年出版148 页ISBN：9787563523573
本书作为嵌入式实验课的教材，着眼于嵌入式系统开发基本原理和实际开发过程的讲解，内容涉及嵌入式系统的发展、组成、特点、开发流程，ARM系列微处理器的基本原理和嵌入式Linux开发的关键技术，着重介绍了ARM微处...
家用大提花织物设计与市场开发【工业技术】

点击试读在线购买
姜淑媛主编2010 年出版128 页ISBN：9787506465021
本书是普通高等教育”十一五”部委级规划教材中的一种。内容包括家用大提花织物设计基础知识，单层纹织物设计、纬二重纹织物设计、纬三重纹织物设计、经二重纹织物设计、经高花经纹织物设计、表里换层双层...
鄱阳湖生态环境保护与资源开发利用研究【环境安全】

点击试读在线购买
黄国勤著2010 年出版277 页ISBN：9787802099685
本书分析了鄱阳湖生态环境的现状及存在的问题，探讨了鄱阳湖生态环境保护的对策和措施；调查了鄱阳湖资源的种类、数量、质量、演变与开发利用及存在的问题，提出了鄱阳湖资源开发利用的途径、模式和具体措施；分析...
先秦百家学术中的教育学说与论著选读中【文化科学教育体育】

点击试读在线购买
冯克诚总主编2010 年出版284 页ISBN：9787801764751
本书是《中外教育名家名作精读丛书》之一。
先秦百家学术中的教育学说与论著选读下【文化科学教育体育】

点击试读在线购买
冯克诚总主编2010 年出版331 页ISBN：9787801764751
本书是《中外教育名家名作精读丛书》之一。
先秦百家学术中的教育学说与论著选读下【文化科学教育体育】

点击试读在线购买
冯克诚总主编2010 年出版274 页ISBN：9787801764751
本书是《中外教育名家名作精读丛书》之一。
突发事件中的药学保障与药品供应【经济】

点击试读在线购买
吴久鸿，吴晓玲编著2010 年出版444 页ISBN：9787122067227
本书介绍了突发事件中药品供应与使用的组织管理、药品的日常储备等。
工作中的美学与艺术【社会科学】

点击试读在线购买
（澳）阿德里安·卡尔，（英）菲利普·汉考克等编著2010 年出版187 页ISBN：9787509610374
本书是英国沃里克大学的著名作者菲利普·汉考克的作品，主要讨论了组织流程、组织常规等是如何实现结构化、秩序化，为读者提高工作效率和工作兴趣提供了指导性的建议。...
新会计准则房地产开发企业会计实务与涉税避税操作技巧新编版【经济】

点击试读在线购买
孙晓璐编著2010 年出版393 页ISBN：9787802554641
本书讲的是房地产业会计在会计准则的指导下合理避税。