大约有6,000项符合查询结果项。（搜索耗时：0.0223秒）
为您推荐： 竹林生态系统碳汇计测与增汇技术 苏北海岸带盐沼生态系统挥发性气体的环境归趋 我国北方典型海岛生态系统固碳生物资源调查与承载力评估 中国滨海湿地米草盐沼生态系统与管理 广西典型滨海湿地景观生态健康评价与旅游可持续发展 中国淡水藻类 系统 分类及生态
-
会计信息系统 原书第11版 英文 【经济】
（美）乔治·H.博德纳，（美）威廉·S.霍普伍德著2013 年出版512 页ISBN：9787302343363本书分为四大部分：会计信息系统概述，业务流程，系统开发，以及现代信息系统技术。本书的核心内容是业务流程、交易循环和内部控制，作者清楚地讲述了新型会计信息系统的基本概念和框架，并从互联网和电子商务应用的.....
-
-
-
电路与信号系统实验教程 【工业技术】
林红，陈雪勒，李富华等编著2013 年出版163 页ISBN：9787567207219本书将电路与信号系统两门课程的实验内容融会贯通，在内容上分为软件介绍、电路篇、信号系统篇、综合篇与附录，软件介绍包括EDA软件Multisim和Altium Designer,电路篇包括八个实验，信号系统篇包括三个实验，综合...
-
-
电力系统优化数学模型和计算方法 【工业技术】
范明天，张祖平著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本书首先介绍了伺服系统的基本概念；然后分章对伺服系统的硬件系统、软件系统、操作面板等进行了详细的介绍；最后举例说明了伺服控制的应用，以加深读者对伺服与伺服系统的认识。...
-
