大约有8,000项符合查询结果项。（搜索耗时：0.0232秒）
为您推荐： 管理信息系统 旅游管理信息系统 管理信息系统精要版 信息系统项目管理师教程 信息系统集成与管理工程师 管理信息系统基础教程
-
高阶逻辑辅助证明系统 【工业技术】
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
AMK伺服控制系统原理及应用 【工业技术】
王德吉主编；黄光富，吕新磊，张建勋，王书恩副主编2013 年出版180 页ISBN：9787111401889本书首先介绍了伺服系统的基本概念；然后分章对伺服系统的硬件系统、软件系统、操作面板等进行了详细的介绍；最后举例说明了伺服控制的应用，以加深读者对伺服与伺服系统的认识。...
-
-
计算机应用基础：EXCEL 2010电子表格系统 【工业技术】
郑纬民主编2013 年出版115 页ISBN：9787304056599Excel 2010基本操作，数据的输入与编辑，工作表与单元格的基本操作，公式和函数，数据的排序、筛选与分类汇总，图表的使用，相关实训操作等。...
-
系统安装、重装与恢复必备技巧 【工业技术】
导向工作室编著2013 年出版212 页ISBN：9787115308900本书以技巧的形式，介绍了系统安装、重装与恢复的大量知识，包括安装系统前的准备工作、安装操作系统、安装与卸载驱动程序、安装系统补丁与系统优化、安装与使用常用软件、多系统的资源共享、操作系统备份与还...
-
-
汉语格系统句法重建和汉语起源演化问题 【语言文字】
朱琳著2013 年出版199 页ISBN：9787548605577本书是一本汉语语言专著。主要从句法重建、构式语法、语义风格的角度研究上古汉语、汉藏语系相关语族和语支及现代汉语方言集团的动词格系统和相关句法系统。本书是上海市教委科研创新项目。...
-
信号、系统分析与控制 MATLAB版 【工业技术】
刘国良编著2013 年出版344 页ISBN：9787560631103本书主要介绍信号分析、系统分析和系统控制的基本原理及应用，并使用MATLAB工具进行仿真实验。本书重点突出、构思新颖、实践性强，内容叙述清楚、深入浅出、详略得当，着重于突出基础性、系统性、实用性和先进性...
-
信号与系统教与学精要 【工业技术】
罗文秋，曹鹏主编2013 年出版160 页ISBN：9787121214431本书以信号、系统以及信号通过系统的响应，介绍由连续到离散，由时域到频域的描述方法和关联关系，在内容组织上力求以点带面、层层递进，对信号与系统的主要内容分别以主要内容结构、内容摘要、典型例题、MATLAB软...
-
航空舵机系统设计引论 【航空航天】
（俄）奥博连斯基ю.T.，叶尔马科夫C.A.，苏霍鲁科夫P.B.著；李志，李明华译2013 年出版289 页ISBN：9787516502815本书内容包括航空舵机的基本理论和计算方法，给出了这些理论和方法在现代机动飞机和客机上的应用。归纳了电液舵机的主要指标，其中包括美国和俄罗斯第三代、第四代及现代战斗机的舵机构造原理、涉及指标，其中包...