当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0293秒)
为您推荐: 柔性直流输电 1100kv特高压直流输电技术 生物控制系统的分析与综合 线性控制系统计算机辅助分析 输电线路典型故障案例分析及预防 精密运动系统迭代前馈控制方法及应用
-
-
影响我国城镇就业的因素分析 基于马克思就业理论的分析 【政治法律】
罗亚萍著2013 年出版188 页ISBN:9787560553719就业是民生之本。研究影响我国城镇就业的因素,进而有针对性地采取相应的政策措施,对于解决我国就业问题至关重要。通过数据验证,本书得出了两个特别的结论:经济增长因素对我国城镇就业的作用不是绝对的以及人均...
-
-
-
-
-
电力系统优化数学模型和计算方法 【工业技术】
范明天,张祖平著2013 年出版282 页ISBN:9787512331051本书针对电力系统运行、规划与控制中的一些实际问题,本书对科学研究和工程实践中的一些数学模型及数学方法进行了总结,这些模型可以归纳为非线性、线性以及随机模型等,优化方法涉及传统优化、随机优化和动态优...
-
高阶逻辑辅助证明系统 【工业技术】
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
新股民技术分析快速入门 【经济】
史册编著2013 年出版216 页ISBN:9787516701065为了让散户能够快速掌握股市技术分析的技巧,实现跟庄获利,本书通过对实际案例进行分析,介绍了十分实用的技术分析技巧,方便投资者将理论用于实践。...
