当前位置:首页 > 名称
大约有7,000项符合查询结果项。(搜索耗时:0.0234秒)
为您推荐: 曲式分析基础教程第三版 环境科学概论第三版 算法设计与分析第三版 新编日语教程2第三版练习册 新编日语教程2第三版练习册pdf 新编日语教程3第三版练习册
-
-
-
-
电力系统优化数学模型和计算方法 【工业技术】
范明天,张祖平著2013 年出版282 页ISBN:9787512331051本书针对电力系统运行、规划与控制中的一些实际问题,本书对科学研究和工程实践中的一些数学模型及数学方法进行了总结,这些模型可以归纳为非线性、线性以及随机模型等,优化方法涉及传统优化、随机优化和动态优...
-
计算机应用基础:WINDOWS 7操作系统 【工业技术】
郑纬民主编2013 年出版146 页ISBN:9787304049713本书是计算机基本知识,Windows7基本操作,文件及文件管理,个性化工作环境,Windows7常用附件,网络应用基础,相关实训操作等。
-
高阶逻辑辅助证明系统 【工业技术】
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
质量/环境/职业健康安全管理体系国家注册审核员考试相关法律法规和其他要求重点提示与解读 【政治法律】
李在卿编著2013 年出版239 页ISBN:9787506670531本书分四章,第一章是三个管理体系注册审核员考试通用要求;第二章是质量管理体系国家注册审核员考试法律法规要求;第三章是环境管理体系国家注册审核员考试法律法规要求;第四章是职业健康安全国家注册审核员考试...
-
-
新股民技术分析快速入门 【经济】
史册编著2013 年出版216 页ISBN:9787516701065为了让散户能够快速掌握股市技术分析的技巧,实现跟庄获利,本书通过对实际案例进行分析,介绍了十分实用的技术分析技巧,方便投资者将理论用于实践。...
-
学科分类
