本书是经典的离散数学教材，为全球多所大学广为采用。本书全面而系统地介绍了离散数学的理论和方法，内容涉及逻辑和证明，集合、函数、序列、求和与矩阵，计数，关系，图，树，布尔代数。全书取材广泛，除包括定义、定理的严格陈述外，还配备大量的实例和图表说明、各种练习和题目。第7版在前六版的基础上做了大量的改进，使其成为更有效的教学工具。本书可作为高等院校数学、计算机科学和计算机工程等专业的教材或参考书。

基于近现代建筑遗产保护与再利用的迫切现实需求，针对以往在保护利用过程中过于依赖经验直觉而缺乏系统性制度化的弊端，《近现代建筑遗产保护与再利用综合评价》将评价学的理论与方法引入建筑遗产保护利用的全过程，通过对其现状、价值、再利用潜力、再利用完成效果等进行综合评价来建立建筑遗产保护利用工作中理念与技术的有效选择机制，实现该流程的制度化、科学化以及合理化。书中提出的以评价为中介的近现代建筑遗产保护与再利用的操作新思路，试图推进遗产保护工作中的制度建设、维护管理、改造策划、改造设计以及使用反馈等实际问题，希望为当今中国近现代建筑遗产保护与再利用实践提供整体性优化解决方案。《近现代建筑遗产保护与再利用综合评价》可供建筑遗产保护相关专业人士、建筑历史学者、建筑师以及文化遗产研究者及爱好者阅读参考。

智能建筑的基本概念，建筑物综合布线系统，建筑设备自动化系统，消防自动报警与联动控制系统，消防自动报警与联动控制系统，通信网络系统，办公自动化系统，可再生能源的建筑应用。增加了新国家标准，融入了绿色节能的概念。

本书从知识和技能、素养和能力等方面，对计算思维与计算文化（Computational Thinking and Computational Culture）涉及的基本概念、基本知识、基本技能和基本能力进行了较为详尽地梳理、介绍、讨论和分析。不仅将计算文化贯穿于全书的各章内容之中，还在介绍计算思维各相关专业知识的同时，让读者能够领略到这些专业知识中所渗透的计算文化的内容。

伟大的实践呼唤伟大的理论，伟大的理论推进伟大的实践。当代中国正在建设的中国特色社会主义事业，是一项彪炳千秋的伟大事业。推进中国特色社会主义事业发展、实现“两个一百年”奋斗目标、实现中华民族伟大复兴的中国梦，需要创新发展理念、推进发展实践、凝聚发展共识、汇聚发展力量，既要充分发挥广大哲学社会科学工作者的重大历史作用，也要突出发挥高校马克思主义理论工作者的积极作用。高校是我国哲学社会科学五路大军中一支重要的方面军，高校理论工作者是马克思主义理论研究向实践转化的重要力量，在推进马克思主义中国化、时代化、大众化中发挥着不可替代的重要作用。

刘东民、何帆、张春宇所*的《中国海洋金融战略》较为全面、深入地分析了全球海洋金融产业的基本特征与运作模式，提出了我国发展海洋金融的新战略，即建立包含“三个基金、一个银行、一个智库”的海洋金融要素聚集区，推动中国海洋经济的全面崛起。书中重点分析了由中国发起设立国际海洋开发银行的可行性，指出该银行的建立将推动中国以金融合作平台促进南海共同开发，并为全球海洋经济发展做出重要的贡献。

Link16是美军根据联合作战的需求研制的新型数据链，与之前的数据链相比，在抗干扰能力、保密性和数据传输速率等方面都有较大提高，并增加了精确定位与识别、相对导航和保密话音等功能。《Link16原理与应用》以Link16为主，对数据链模型、标准体系、工作原理、集成和组织应用等进行了全面深入的研究。全书共分为8章，包括结论、数据链体系框架、典型数据链、数据链集成应用、数据链组织运用、消息应用处理、典型应用、数据链的发展。《Link16原理与应用》可供从事通信、导航、作战指挥、电子对抗等领域研究的科学人员、工程技术人员学习使用，也可作为高等院校的教学参考书。

什么是好的教育？什么是给人成长力量的教育？什么是可以酿造人生幸福的教育？在不同文化背景之下如何有效学习？如何形成批判性思维？如何终身学习、接纳学习、享受学习？ 不一样的三观，不一样的对于成功的定义。在周晴、燕子*的《有一千个孩子就有一千种教育：45位枫叶外籍教师访谈录》中，45位枫叶外籍教师现身说法，讲述他们眼里的教育和人生，为我们打开一扇扇心灵的门窗，给我们天天向上的力量。

暂缺简介...

计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。*部分是数学基础，为*章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用， 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统，以及量子程序设计语言的形式语义。全书内容丰富，结构严谨，集形式语义学理论及其应用的有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的近代发展潮流和趋势，并对不同流派的理论和方法给予了分析和评论。本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书，也可供有关专业或交叉学科的科研人员进修或作为工具书。