大约有2,000项符合查询结果项。（搜索耗时：0.0145秒）
为您推荐： 家族系统排列 排列 家庭 家庭教育指导师 家庭养育指导师 家庭治疗概论
-
电力系统优化数学模型和计算方法 【工业技术】
范明天，张祖平著2013 年出版282 页ISBN：9787512331051本书针对电力系统运行、规划与控制中的一些实际问题，本书对科学研究和工程实践中的一些数学模型及数学方法进行了总结，这些模型可以归纳为非线性、线性以及随机模型等，优化方法涉及传统优化、随机优化和动态优...
-
计算机应用基础：WINDOWS 7操作系统 【工业技术】
郑纬民主编2013 年出版146 页ISBN：9787304049713本书是计算机基本知识，Windows7基本操作，文件及文件管理，个性化工作环境，Windows7常用附件，网络应用基础，相关实训操作等。
-
高阶逻辑辅助证明系统 【工业技术】
（德）托比亚斯·尼普科夫（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本书是一本汉语语言专著。主要从句法重建、构式语法、语义风格的角度研究上古汉语、汉藏语系相关语族和语支及现代汉语方言集团的动词格系统和相关句法系统。本书是上海市教委科研创新项目。...
-
教育原理与工程 信息互动系统的视角 【文化科学教育体育】
黄景碧工，黄纯国著2013 年出版164 页ISBN：9787302332237多种视角阐述，当前信息时代，信息互动系统视角的“教育原理与工程”，则是可取的视角，为此，本书进行了全面阐述。鉴于教育与教育软件、教育研究的紧密联系，本书还阐述了信息互动系统视角的“教育软件原理与工程”.....