系统
-
数控机床电气系统的装调与维修（FANUC-0i系统）
黄登红主编；熊轶娜，何文学副主编制2011 年出版203 页ISBN：9787122115980本书基于数控机床制造与维修的工作任务，以FANUC-0i数控系统为例，为学习者提供了数控系统配置、数控系统及外围电路连接、PMC编程与调试、主轴及进给轴参数设置与调整等理论和实践知识。...
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
Linux/UNIX系统编程手册 上
（德）MICHAELKERRISK著；孙剑，许从年，董健等译2014 年出版572 页ISBN：7115328670本书是介绍LINUX与UNIX编程接口的权威著作……
-
-
工业系统设备管理与监测
张宏，刘艳，李鸿魁等编2014 年出版326 页ISBN：9787122193902本书内容包括，工业系统设备综合管理的基本知识，介绍了当今世界上最新的设备管理知识，包括可靠性维修性工程，系统工程，寿命周期费用，及设备的故障监测和诊断理论。并介绍了工厂采用设备综合管理的具体方法，包括工业...
-
航空电子系统导论 原书第3版
（英）柯林森著2013 年出版354 页ISBN：9787118087888本书共十章内容，主要阐述现代军事和民用飞机航电系统的构架、基本原理和新技术，具体包括航电系统概述、显示系统、空气动力学与飞机控制、电传飞行控制、惯性传感器和航姿系统、导航系统、大气数据及大气数据...
-
-
信息系统工程项目管理
杨坚争总主编；魏忠，张芳芳，李燕著2012 年出版313 页ISBN：9787542935342本书共分三大篇，即管理篇、质量篇和商务篇。作者试图从不同角度，在电子商务工程领域阐述和应用最新的安全管理、项目管理、工程管理、投标管理、应急管理、质量管理等理论和技术，对目前比较综合和有争议的IT治...
-
OSGi与Equinox 创建高度模块化的Java系统
（美）麦克艾弗，（美）万德雷，（美）阿彻著；郭庆，李楠，池建强译2014 年出版360 页ISBN：9787115337443本书主要介绍如何使用OSGi与Equinox创建高度模块化的动态系统。首先介绍Eclipse绑定工具，然后介绍创建高度模块化系统的最佳策略，介绍OSGi声明式服务以及如何用它们解决各种实际问题，最后通过一个完整的案例介...
-
-
灾难管理系统论 方法与应用
（加）斯洛博丹·P.西蒙诺维奇著；韩传峰译2013 年出版278 页ISBN：9787030383280本书旨在介绍系统科学在灾害管理中的应用，为其中相互作用行为存在问题提供支持，并具体说明如何应用运筹学和经济学方法解决复杂管理问题。本书分为四部分。第一部分介绍灾害管理的基本概念、相关术语、发展历...
-
系统与控制中的随机方法
陈曦编著2013 年出版180 页ISBN：9787302325499本书内容分为三部分。第一部分介绍参数估计及贝叶斯方法；第二部分介绍随机系统的滤波、控制及优化方法；第三部分以无线传感器网络的目标探测与跟踪为例，介绍如何利用前两部分中的知识和方法进行系统的设计、性...
-
机电一体化技术与系统
龚仲华，杨红霞编著2011 年出版308 页ISBN：9787115254474本书主要介绍了交流逆变技术，测量技术，PLC,CNC控制系统，步进驱动器、交流伺服、变频器，滚珠丝杠、减速器、直线导轨，刀架、刀库、机械手、数控转台系统以及液压气动控制系统的应用。本书可作为高职高专机电类专...
-
环境信息系统 第2版
曾向阳，闫靓，陈克安等编著2014 年出版221 页ISBN：9787030396488本书针对环保工作信息化的实际需要，将信息系统理论、计算机以及网络新技术与环境信息采集、处理、管理以及环境工程实践相结合，强调基础，覆盖面广，内容简明易学。本书首先介绍了环境信息系统基础知识，然后全面阐...
-
电力系统动态模拟技术
张凤鸽，易长松，杨德先主编2014 年出版264 页ISBN：9787111449379本书力求充分反映现代电力系统动态模拟技术的最新成就，突出电力系统物理模拟理论和模拟方法的特点，以基本理论、模型设计和建模方法为主，着重讲述电力系统动态模拟基础、同步电机模拟及参数测试、同步发电机励...
-
-
FPGA快速系统原型设计权威指南
（美）本杰明，（美）哈丁著2014 年出版255 页ISBN：9787111448518本书是关于FPGA快速系统原型设计的权威指南，共分为17章。第1章概述FPGA的相关概念和嵌入式设计技能；第2章介绍FPGA的基础知识；第3章讲解优化的FPGA开发流程；第4章从系统工程管理的角度来讨论FPGA设计流程的优化...
-
MCS-51系列单片机原理及系统设计
刘岩川主编；董玉华，刘忠福，韩智敏副主编2014 年出版292 页ISBN：9787121220210本书系统地介绍了MCS-51单片机的组成结构、工作原理、指令系统、汇编语言程序设计、中断系统、定时器/计数器及串行接口等内容，并在键盘及显示接口、模数与数模转换接口及常用传感器接口方面也做了较为详细...
-
内科学 血液和造血系统疾病，运动系统疾病与免疫有关疾病和结缔组织疾病不明原因的其他疾病分册
朱宪彝主编；甘幼强，黄象谦副主编1981 年出版239 页ISBN：14212.14 -
