郑李明，徐鹤生主编2008 年出版251 页ISBN：9787040250893
智能建筑已成为21世纪我国建筑业发展的主流，为适应建筑智能化的快速发展，尽快培养和造就大批掌握建筑智能化相关工程技术的应用型人才，是当前我国高职教育的一项紧迫任务，本教材正是基于这种指导思想而编写的。...
刘国东著2018 年出版354 页ISBN：9787520127684
在外部环境剧烈变化的情况下，中国的很多企业面临经营困难的局面。市场竞争压力加大、成本上升，利润越来越薄；国家税务总局“金税三期”系统工程投入使用，并且逐步完善，税收征管越来越严格，企业的税务风险不断加.....
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
张秀华，张庆灵著2007 年出版182 页ISBN：9787030197528
本书针对非线性微分代数系统，介绍了非线性微分代数系统的稳定性，在无源分析和耗散性理论的基础上，给出了非线性微分代数系统的无源性的定义和研究的新理论和新的结果。主要内容包括：系统的介绍了非线性微分代数...
张藜总主编；罗兴波本册主编2017 年出版483 页ISBN：9787504671493
本册丛书记述了老科学家学术成长采集工程中入选的32位出生于20世纪初，从事气象、农业、动植物及医学专业的科学家学术成长经历和他们对新中国科技发展做出的卓越贡献。各篇文章都为采集工程各个采集小组根据...
杨兆升著2004 年出版294 页ISBN：711306275X
智能化共交通系统（APTS）是智能运输系统（ITS）的核心研究领域，其理信纸也是智能运输系统的基础理论。APTS主要实现对公交车辆动态监控、实时调度、科学管理等功能，从而达到提高公交服务水平的目的。《智能交通系统（I...
软物质前沿科学丛书 复杂系统的涌现动力学 从同步到集体输运 下
（中国）郑志刚2019 年出版652 页ISBN：9787508855974
由大量单元组成的复杂系统会产生丰富多彩的自组织与集体行为，近几年成为多交叉领域长盛不衰的研究热点。复杂系统的一个重要特征是涌现，即在整体层面会呈现出各种各样个体所不具备的行为。本书以复杂系统中普...
The design and implementation of the FreeBSD operating system (2nd Edition) = FreeBSD 操作系统设计与实现 (第2版
Marshall Kirk McKusick ; George V. Neville-Neil ; Robert N. M. Watson2016 年出版846 页ISBN：7115413499
组成论 复杂度定律和广义集合 系统科学的新分支 对统计学的补充 改造后的熵
张学文著2003 年出版256 页ISBN：7312016405
很多事物都存在组成（成分、构成）问题。作者创立的组成论为此提供统一的认识模型、分析工具、计算方法和原理。他通过广义集合、分布函数和复杂程度三个概念分析事物组成，并揭示了有随机性的事物都遵守最复杂原...
Leon Urbas著2018 年出版161 页ISBN：9787111598381
过程控制系统（PCS）是一个专门用来满足过程工业要求的分布式控制系统（DCS）。许多对安全性和可用性有很高要求的相关过程和工厂，装备有大量的传感器和执行器，带有高自动化程度，至少在标准的操作制度。由于物质、程.....
