梦享团队主编2015 年出版272 页ISBN：9787563542987
《2015年考研核心考点命题思路解密 计算机操作系统》严格按照最新计算机考研408统考大纲的计算机操作系统部分编写，涵盖大纲指定的所有考试内容。本书对统考大纲所涉及的知识点进行深入剖析和总结，并精心...
2013会计从业资格无纸化考试专用教材 财经法规与会计职业道德全真题库及上机考试系统 最新版
会计从业资格考试研究中心编写2013 年出版210 页ISBN：9787542937858
本书是一本以全面性与系统性、实用性与时效性并重为原则，以会计从业资格无纸化考试会计基础科目为主要内容的辅导类图书。本书根据最新会计从业资格无纸化考试会计基础科目内容与考试形式，精选历年真题汇编全...
郑李明，徐鹤生主编2008 年出版251 页ISBN：9787040250893
智能建筑已成为21世纪我国建筑业发展的主流，为适应建筑智能化的快速发展，尽快培养和造就大批掌握建筑智能化相关工程技术的应用型人才，是当前我国高职教育的一项紧迫任务，本教材正是基于这种指导思想而编写的。...
刘国东著2018 年出版354 页ISBN：9787520127684
在外部环境剧烈变化的情况下，中国的很多企业面临经营困难的局面。市场竞争压力加大、成本上升，利润越来越薄；国家税务总局“金税三期”系统工程投入使用，并且逐步完善，税收征管越来越严格，企业的税务风险不断加.....
大气污染控制技术与策略丛书 京津冀大气复合污染防治 联发联控战略及路线图
郝吉明著2017 年出版554 页ISBN：9787030548849
防治京津冀区域大气复合污染的联发联控战略与路线图研究是按照中央领导的要求、工程院设立的重大咨询研究项目，由环境与轻纺学部、能源学部与农业学部共同承担。该研究包括六个研究课题：京津冀区域大气污染来...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
张藜总主编；罗兴波本册主编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
