当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0276秒)
为您推荐: 基于matlab的模型预测控制系统设计与实现 基于mbse的复杂装备系统设计 基于异质代理人行为的资产定价模型 建筑工程常用计算速查手册基于excel应用 水利水电工程设计信息模型交付标准 基于价值的经营
-
半夏生物资源与细胞工程 【农业科学】
陈集双,贾明良,欧阳平凯著2013 年出版360 页ISBN:9787030363183本书在总结同行研究的基础上,主要结合自己的工作基础介绍了我国半夏种质资源的分布、半夏的扩繁及细胞工程技术如半夏悬浮体系建立、原生质体培养、人工种子制备和倍性育种等,同时对影响半夏生长的病毒性和细...
-
-
-
计算机应用基础:WINDOWS 7操作系统 【工业技术】
郑纬民主编2013 年出版146 页ISBN:9787304049713本书是计算机基本知识,Windows7基本操作,文件及文件管理,个性化工作环境,Windows7常用附件,网络应用基础,相关实训操作等。
-
-
中国工程管理现状与发展 【经济】
何继善,王孟钧,王青娥著2013 年出版182 页ISBN:9787040370591本专著通过对我国工程管理现状的研究来发现现阶段影响我国工程管理发展的关键问题,以推动工程管理理论进步,强化工程管理实践创新,促进工程管理教育变革。可供工程界、研究机构、高等学校和政府部门理论研究者...
-
-
-
高阶逻辑辅助证明系统 【工业技术】
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
