大约有20,000项符合查询结果项。（搜索耗时：0.0540秒）
为您推荐： 项目调度问题模型与优化方法 生物数学微分方程模型的分析方法 游心太玄 建筑速写方法与作品解析 基于matlab的模型预测控制系统设计与实现 地震数据处理方法 以危险方法危害公共安全罪理论与实务判解
-
逻辑公式的可满足性判定 方法、工具及应用 【工业技术】
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
名家藏书 第25卷 帝鉴图说 韩婴政鉴 【文学】
郑福田，王槐茂，杨飞云主编；（明）张居正，吕调阳撰；（汉）韩婴撰2000 年出版414 页ISBN：780595660X《陶庵梦忆》据清乾隆五十年(1735)王文诰刻本刊行;《西湖梦寻》据乾隆五十九年(1735)刻本刊行;《浮生六记》据俞平伯先生点校的朴社本刊行;《食色绅言》据明万历二十四年(1596)忠恕堂刻本刊行 本卷...
-
3DS MAX R3现代建筑与环艺效果图制作范例精粹 【工业技术】
辛文，高志清等编著2000 年出版281 页ISBN：7980044517本书包括怎样制作高水准电脑效果图、现代建筑基本构件建模、现代建筑与环境的有机整合、效果图艺术氛围特殊处理技巧四章。
-
注释学刍议 七十多年治学教学在方法和理论上的总结 【文化科学教育体育】
靳极苍著2000 年出版269 页ISBN：7203040682本书分序言、本论、辅论和例证四部分，理论与实践相结合，主要介绍了注释的目的、注释的原则以及注释的方法三方面的内容。
-
淡水鱼病防治彩色图说 【农业科学】
全国水产养殖病害防治网络委员会主编；王伟俊等编著2000 年出版94 页ISBN：7109064484渔业的发展对促进农村经济繁荣、丰富城乡居民“菜篮子”、增加农民收入有着重要作用。鱼虾疾病的防治是水产养殖技术的重要环节之一。《淡水鱼病防治彩色图说》以图文并茂的形式对淡水养殖中普遍发生的7种...
-
巧夺天工 2 室内三维装饰模型设计精粹 【工业技术】
阿拉丁数码工作室编著2000 年出版101 页ISBN：7900049754“九五”国家重点电子出版物规划项目:HopeLIB希望室内设计图库:本套盘书是《巧夺天工三维室内装饰模型设计精粹》系列之二，是用于室内三维效果图、三维动画制作和学习的开放式模型库。本模型库包含3张光盘，共...
-
建筑法及配套法律法规行政解释司法解释与典型案例 下 【政治法律】
梁书文等主编2000 年出版1412 页ISBN：7810594788书名取自封面。本书包括：房屋拆迁基本规定、房屋拆迁的一般规定、房屋拆迁的地方规定、房屋拆迁纠纷的处理、相关案例五部分。
-
知识系统中不确定性和模糊性处理的数值方法 【工业技术】
刘大有等著2000 年出版266 页ISBN：7560123791本书介绍了基本概率论的处理方法，证据理论方法等外延不确定性处理方法，处理二阶不确定性的内涵方法、Bayesian网方法的基本概念及推理算法等内涵不确定性处理方法。 ...
-
建筑法及配套法律法规行政解释司法解释与典型案例 上 【政治法律】
梁书文；孟昭科，吴合振主编2000 年出版730 页ISBN：7810594788书名取自封面。本书包括：房屋拆迁基本规定、房屋拆迁的一般规定、房屋拆迁的地方规定、房屋拆迁纠纷的处理、相关案例五部分。