stae functions and linear control systems 相关电子书下载

ISSS 20032004 年出版345 页ISBN：354023635X

（美）麦卡思克，尼尔2008 年出版683 页ISBN：9787508365701

如同Addison-Wesley之前的基于UNIX的BSD操作系统方面的图书一样，Kirk McKusick和George Neville-Neil通过本书传达了关于开源FreeBSD内部架构的最全面、最及时、最权威的技术信息。通过阅读本书，技术与售后支...

Marshall Kirk McKusick2008 年出版683 页ISBN：9787508365701

（美）道格拉斯·A. 维格曼（Douglas A. Wiegmann），（美）斯科特·A. 夏佩尔（Scott A. Shappell）著；马锐译2006 年出版152 页ISBN：7801107349

本书详细阐述了人的因素分析与分类系统（HFACS）产生的历史背景、理论基础、框架结构及实际应用情况，为军事飞行、民用航空或通用航空等有人参与的复杂系统提供了开展意外事故的失误分析所需要的知识和工具。...

任继周著2005 年出版589 页ISBN：7109107078

本文集共收集了任继周院士1973～1985年间有关草原生产力与草地农业系统方面的理论论述，学术会议论文、讲话及在学术刊物上发表的文章等60多篇，其中部分文章属于首次发表。...

Gerald V. Post2006 年出版426 页ISBN：7111178521

本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...

国家能源局发布2013 年出版248 页ISBN：7512345072

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

VIVEK KAUL2015 年出版361 页ISBN：9788132113447

Marshall Kirk McKusick ; George V. Neville-Neil ; Robert N. M. Watson2016 年出版846 页ISBN：7115413499