系统
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow） （英）劳伦斯·鲍尔森（LawrenceC.Paulson） （德）玛尔库斯·温泽尔（MarkusWenzel）著 2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
Linux/UNIX系统编程手册 上
（德）MICHAELKERRISK著 孙剑 许从年 董健等译 2014 年出版572 页ISBN：7115328670本书是介绍LINUX与UNIX编程接口的权威著作……
-
-
-
航空电子系统导论 原书第3版
（英）柯林森著 2013 年出版354 页ISBN：9787118087888本书共十章内容，主要阐述现代军事和民用飞机航电系统的构架、基本原理和新技术，具体包括航电系统概述、显示系统、空气动力学与飞机控制、电传飞行控制、惯性传感器和航姿系统、导航系统、大气数据及大气数据...
-
嵌入式系统设计
（德）马威德尔（Marwedel P.）编著 2007 年出版240 页ISBN：7030182472本书针对近年来IT行业发展对嵌入式系统的需求，从总体上的介绍了嵌入式系统的设计，阐明了嵌入式系统设计中的一些主要方面之间的关系。它可以作为嵌入式系统的入门教材，也可以作为博士生和研究人员的参考书，对当...
-
-
-
-
灾难管理系统论 方法与应用
（加）斯洛博丹·P.西蒙诺维奇著 韩传峰译 2013 年出版278 页ISBN：9787030383280本书旨在介绍系统科学在灾害管理中的应用，为其中相互作用行为存在问题提供支持，并具体说明如何应用运筹学和经济学方法解决复杂管理问题。本书分为四部分。第一部分介绍灾害管理的基本概念、相关术语、发展历...
-
系统与控制中的随机方法
陈曦编著 2013 年出版180 页ISBN：9787302325499本书内容分为三部分。第一部分介绍参数估计及贝叶斯方法；第二部分介绍随机系统的滤波、控制及优化方法；第三部分以无线传感器网络的目标探测与跟踪为例，介绍如何利用前两部分中的知识和方法进行系统的设计、性...
-
机电一体化技术与系统
龚仲华 杨红霞编著 2011 年出版308 页ISBN：9787115254474本书主要介绍了交流逆变技术，测量技术，PLC,CNC控制系统，步进驱动器、交流伺服、变频器，滚珠丝杠、减速器、直线导轨，刀架、刀库、机械手、数控转台系统以及液压气动控制系统的应用。本书可作为高职高专机电类专...
-
-
-
-
FPGA快速系统原型设计权威指南
（美）本杰明 （美）哈丁著 2014 年出版255 页ISBN：9787111448518本书是关于FPGA快速系统原型设计的权威指南，共分为17章。第1章概述FPGA的相关概念和嵌入式设计技能；第2章介绍FPGA的基础知识；第3章讲解优化的FPGA开发流程；第4章从系统工程管理的角度来讨论FPGA设计流程的优化...
-
-
-
