光敏化氧化反应的化学生物学 【工业技术】

本书是我国生命科学领域第一本全面阐述光敏化氧化反应的化学、生物学专著。作者全面梳理并总结了自己多年来在光敏化氧化反应生物模型和微小武器系统生物精密加工方面的研究成果，该项研究成果荣获“国防科工...

2013公共空间模型集成·办公空间 【工业技术】

本书精选2012年设计的空间作品方案，把握：设计理念新，设计风格多样化，设计含金量高，功能空间多样性等原则来组稿并编辑加工书稿。内容形式为效果图配上相应的原始3ds Max模型。每本书配6张DVD光盘。...

模型检测 【工业技术】

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

装饰设计效果图MAX模型库 【工业技术】

本书分效果图模型和实例模型两篇，共12章，1600多件模型、图块。全部为MAX文件，制作精制、涵盖面广、时尚前卫。

控制理论的未来方向：数学展望 【工业技术】

变黏性Navier-Stokes 方程组 【工业技术】

本书对一类有深刻物理意义的黏性依赖于密度的Navier-Stokes方程组做了较深入的探讨，研究在适当条件下弱解的局部或整体适定性，解的破裂性质，解的渐近性态和解的收敛率估计等问题。...

新鲜生物质热解气化制富氢燃料气的基础研究 【工业技术】

本书是在作者多年研究成果基础上编写而成的，采用TG/DTA/DTG/GC联用技术详细研究了新鲜生物质的热解特性以及热解气化气体释放特性，对新鲜生物质热解动力学及其机理函数进行了研究；采用FTIR，XRD以及SEM等现代分...

结构分析的计算机方法 【工业技术】

光滑工件尺寸的检验标准分析 【工业技术】

化工原理操作型问题的分析 【工业技术】