当前位置:首页 > 名称

大约有8,000项符合查询结果项。(搜索耗时:0.0393秒)

为您推荐: 投资组合理论及应用 微纳流动理论及应用 物态方程理论及计算概论 心理咨询与治疗的理论及实践 致密砂岩气藏地质评价与开发一体化技术 提高采收率基本原理

  • 四川省矿山开发遥感监测方法与实践 【工业技术】

    黄洁,邵怀勇,杨显华等著2013 年出版126 页ISBN:9787503031328

    基于“川西南与浙东重点矿集区矿山开发遥感调查与监测”项目的相关成果,本书较为系统、全面地阐述了四川省矿山开发遥感调查与监测的内容、技术体系和方法,结合大量实例对四川省重点矿集区成矿远景、矿产资源...

  • B方法与形式化软件开发技术研究 【工业技术】

    崔梦天,韩伟著2012 年出版133 页ISBN:9787561457290

    本书从软件实际开发过程出发,将形式化技术应用于每个开发阶段,系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法,其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

  • 岩土渗流损伤力学论与数值分析 【工业技术】

    薛新华,张我华著2012 年出版202 页ISBN:9787561457887

    该书全面系统地总结了各向同性弹塑性有限变形论及各向同性双标量损伤变量论,并从连续损伤力学的角度,对岩土体的渗流力学特性进行了研究。然后提出了孔隙介质完备的有效Darcy定律,并在此基础上发展了渗流...

  • 渗流力学 第3版 【工业技术】

    翟云芳编2009 年出版217 页ISBN:9787502171780

    本书以油、气水在地层多孔介质中的流动形态和运动规律为研究对象,以油藏中能量供应与消耗为核心,以渗流的基础规律——达西定律为基础,遵循由浅入深的认识规律,系统地介绍了不可压缩液体稳定渗流论、弱可压缩...

  • 可信嵌入式软件开发方法与实践 【工业技术】

    韩炜编著2017 年出版529 页ISBN:9787516513231

    本书比较详细的介绍了嵌入式软件的特点、可信嵌入式软件开发方法、可信嵌入式软件的特点以及可信嵌入式软件在工程实际中的应用。用天脉操作系统的研发作为例证,从而详细的进行了佐证。该书主要读者群体为...

  • 实验方法论系列丛书 化工过程开发实验方案导论 【工业技术】

    谢明和等著2015 年出版109 页ISBN:9787518305520

    本书是关于化工过程开发实验、特别是放大开发实验中,如何策划和构思实验方案的论概括和实践经验的总结。讲述了化工过程开发程序、化工过程开发的概念设计、实验的方法论及研究思路、化学反应工程论在过...

  • Dr.Dobb's软件研发 第1辑 敏捷软件开发方法 【工业技术】

    刘江主编2003 年出版100 页ISBN:7111125614

    本书专门介绍了软件开发领域的最新技术和实用技巧,并揭示了开发背后的东西。

  • 单片机与嵌入式系统开发方法 【工业技术】

    薛涛,宫辉,曾鸣等编著2009 年出版338 页ISBN:9787302208235

    本书是第一本讲述单片机应用方法的教材。强调单片机应用系统的个性化、单片化。不主张使用仿真器。从数字电路基础知识开始,讲述如何设计单片机的基本硬件系统,并使用监控程序实现人机交互;进而介绍汇编指令和...

  • Eclipse插件开发方法与实战 【工业技术】

    甘树满,王秀明编著2006 年出版453 页ISBN:7121031809

    本书分为4个部分共24章,主要介绍Eclipse插件开发方法和具体应用,其中主要包括SWT、JFace的开发实践和Eclipse中常用扩展点的开发,最后介绍Eclipse中常用开源框架的开发应用(GEF、EMF、RCP),以及如何对Eclipse进...

  • 软件开发的形式化方法 【工业技术】

    古天龙著2005 年出版265 页ISBN:704016079X

    形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。本书对软件开发中的形...

学科分类
返回顶部