大约有5,000项符合查询结果项。（搜索耗时：0.0198秒）
为您推荐： 中国滨海湿地生态系统功能及服务评价 广西典型滨海湿地景观生态健康评价与旅游可持续发展 中国滨海湿地米草盐沼生态系统与管理 滨海滩涂湿地生态系统生态学研究 滨海湿地固碳能力评价技术与方法 滨海湿地生态修复技术及其应用
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
非线性微分代数系统的控制理论与应用 【工业技术】
张秀华，张庆灵著2007 年出版182 页ISBN：9787030197528本书针对非线性微分代数系统，介绍了非线性微分代数系统的稳定性，在无源分析和耗散性理论的基础上，给出了非线性微分代数系统的无源性的定义和研究的新理论和新的结果。主要内容包括：系统的介绍了非线性微分代数...
-
基础隔震结构设计及施工指南 【工业技术】
党育，杜永峰，李慧编著2007 年出版258 页ISBN：750844261X本书简要介绍了隔震的原理，详细阐述了隔震器的性能、基础隔震结构的设计及施工方法与维护管理，对应用抗震规范做工程设计做了具体地指导，并对规范中未明确的一些特殊形式的隔震建筑的设计方法提出建议。从事结...
-
-
公路旧桥承载能力评定方法及工程实例 【其他书籍】
张劲泉等编著2007 年出版196 页ISBN：7114064977本书为《公路旧桥检测评定与加固技术丛书》之一，共分上下两篇，上篇介绍公路旧桥承载能力评定方法的研制方法、体系框架、思路及最新成果，下篇分桥梁型列举了典型桥梁应用实例。...
-
大纲考点归类精解及真题解析 刑事诉讼法卷 【政治法律】
司考关联编注研究中心编2007 年出版136 页ISBN：7302152713本书针对2007年司法考试，收录考试大纲考点和重点，给出考点精解和真题分析。
-
建设工程法规及相关知识 【政治法律】
郝建新，张福元主编2007 年出版163 页ISBN：7508356241本书是根据2007年全国一级建造师执业资格考试最新大纲编写而成。对全国一级建造师执业资格考试中建设工程法规及相关知识这门课的命题进行了趋势分析，重点难点精讲和典型例题解析，做到以练代学，在练习的过程中...
-
财务工程学 企业财务风险管理工具及运用 【经济】
蒋屏，王佩编著2007 年出版269 页ISBN：7810789449本书讲解了财务工程的体系，包括财务工程学的发展及风险和收益的度量、财政工程中常用的分析方法等。