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

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

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

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

暂缺简介...

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

可计算一般均衡模型（CGE模型）是基于一般均衡理论、宏观经济结构关系和国民经济核算数据而建立起来的一套全景描述经济系统运行的数量模拟系统，以微观经济学的消费者追求效用最大化和生产者追求利润最大化行为理论为基础，模拟自由竞争市场条件下的价格对于产品及要素市场平衡的调节机制，通过宏观经济结构关系完整地描述经济系统的运行，能够将各种各样的政策纳入数量分析框架中评价政策在总体经济范围内的实施和影响，近三十年来在税收政策、结构调整、国际贸易、经济增长、气候变化、资源环境政策等方面得到广泛的发展和应用，已成为政策研究的主流工具。本书就是针对初学者学习CGE过程中可能遇到的难关难点而设计，尝试通过一些简单实用的方法帮助初学者既能尽快入门又能打下坚实的基础。为此，本书尽量简化理论内容的介绍，力图通过大量简单的模型范例由简至繁地一步步将初学者领入CGE建模的门槛。

暂缺简介...

方修睦主编的这本《建筑环境测试技术》为“十二五”普通高等教育本科***规划教材，也是高校建筑环境与能源应用工程学科专业指导委员会规划推荐教材。本书在保留第二版教材特色的基础上，充分考虑 “大土木”特点，以测试技术为主线，以学习、掌握测试技术的相关理论、方法为目标，进行章节的划分及内容编写。全书分为测试技术基础、测量仪表和测试技术三篇，共计13章。本书不仅详细阐述了测试技术的基本理论，介绍了国内外*新的测试技术、测量设备和研究成果，还介绍了如何根据测试目标，利用所学的测试理论、测量仪表进行测试方案设计，强化了测试技术在本专业的应用。书后附形式多样的思考题与习题。本书系统性强，取材新，信息量大，内容通俗易懂，阐述简明扼要。本书可作为建筑环境与能源应用工程专业教材，亦可供函授、夜大同类专业以及建筑技术科学类专业使用。同时也可供从事环境监测、供热通风空调、建筑给水排水、燃气供应等公共设施系统的研究生以及设计、制造、安装和运行人员参考。

暂缺简介...