当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0220秒)
为您推荐: 线性控制系统计算机辅助分析 随机力与非线性系统 信号与系统 信号与动态测量系统 电路与信号系统实验教程 信号与系统陈后金
-
-
-
电力系统优化数学模型和计算方法 【工业技术】
范明天,张祖平著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 年出版216 页ISBN:9787516701065为了让散户能够快速掌握股市技术分析的技巧,实现跟庄获利,本书通过对实际案例进行分析,介绍了十分实用的技术分析技巧,方便投资者将理论用于实践。...
-
-
AMK伺服控制系统原理及应用 【工业技术】
王德吉主编;黄光富,吕新磊,张建勋,王书恩副主编2013 年出版180 页ISBN:9787111401889本书首先介绍了伺服系统的基本概念;然后分章对伺服系统的硬件系统、软件系统、操作面板等进行了详细的介绍;最后举例说明了伺服控制的应用,以加深读者对伺服与伺服系统的认识。...
-
