熊联娥等主编2004 年出版279 页ISBN：7111142276
科技的发展给我们带来了无数生活质量上的提升，尤其是在计算机技术和通信技术得到迅速发展、信息和知识经济时代的到来后，建筑自动化、通信自动化、楼宇和住宅智能化、办公自动化等系统设备已不断被广泛应用于...
李黄，张强主编2003 年出版191 页ISBN：7502936440
本书是长江三峡工程生态与环境监测系统局地气候监测评价研究成果汇编。全书共分四部分：第一部分为局地气候监测子系统的设计研究，包括三峡地区气象观测站的分布、资料舆和数据库管理等；第二部分为三峡库区生态...
梦享团队主编2015 年出版272 页ISBN：9787563542987
《2015年考研核心考点命题思路解密 计算机操作系统》严格按照最新计算机考研408统考大纲的计算机操作系统部分编写，涵盖大纲指定的所有考试内容。本书对统考大纲所涉及的知识点进行深入剖析和总结，并精心...
2013会计从业资格无纸化考试专用教材 财经法规与会计职业道德全真题库及上机考试系统 最新版
会计从业资格考试研究中心编写2013 年出版210 页ISBN：9787542937858
本书是一本以全面性与系统性、实用性与时效性并重为原则，以会计从业资格无纸化考试会计基础科目为主要内容的辅导类图书。本书根据最新会计从业资格无纸化考试会计基础科目内容与考试形式，精选历年真题汇编全...
郑李明，徐鹤生主编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...
