B方法与形式化软件开发技术研究

崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

夕阳山外山

杨庆祥著2017 年出版378 页ISBN：9787206140228

此书主要特点是知识性、文化性较强。书中的绝大部分作品均发表在一级刊物《夕阳红》杂志的文化专栏“清居漫笔”上，其中《有了爱就有一切》（冰心的感情世界），《鲁迅的笔名别号释义》，《中国孝文化举要》，《孝文.....

专业化分工与农业产业组织演进

徐金海著2008 年出版315 页ISBN：7509700914

本书利用现代经济学的研究方法，以分工、专业化为主线，系统回顾了专业化分工与产业演进的已有理论成果，深入研究了不同的农业产业化分工协调机制及其相应的组织形态，实证考察了纵向契约、横向合作两种主要农业产...

原来数学这么有趣

（美国）西奥妮·帕帕斯著；何竖芬译2008 年出版235 页ISBN：9787121059582

本书通过描述数学的概念、原理、问题、历史、难题和趣味，让读者通过里面的每一个小故事体验数学的乐趣，认识到数学不是孤立的学科，它与世界是密不可分的，与我们周围的事物不是脱节的。本书的主题编排也是以数学...

边缘的历史 基督教与近代中国

陶飞亚著2005 年出版359 页ISBN：7532541347

陶飞亚先生在本书中对基督教在近现代中国的传播与影响作了深广的研究：涉及民教关系、宗教政策、教会大学等，并注意梳理研究领域内观念和理路的变化；对若干专题如非基督教运动、齐鲁大学、耶稣家庭，在详实可靠的...

国家规制市场竞争与中国报业转型 江苏都市晨报的成长研究

王建著2008 年出版207 页ISBN：9787501183531

本书就江苏都市晨报的成长过程，来进行传媒业发展及转型方面的研究。

博客俄罗斯：记录在俄罗斯的心路历程

乐玉成著2007 年出版274 页ISBN：9787811016116

本书是外交官品味世界系列丛书中的一种，由驻俄公使乐玉成写成。内容涉及作者作为中国外交官与俄国交往过程中的历史、经济、文化、艺术、人物等内容。反映了一名中国外交官对祖国的自豪感和爱国精神。...

中国上古史实揭秘 天文考古学研究

（美）班大为著2008 年出版359 页ISBN：7532548457

班大为为美国著名汉学家，以研究中国早期星占学而著称。本书收录的11篇文章都是其代表性作品，内容涉及夏商周年代学、中国早期的星占学和宇宙观。作者的论文严谨中充溢着灵动，读来令人耳目一新。无论专门从事中...

钻孔灌注桩后压浆技术理论与应用

张晓炜，黄生根著2007 年出版107 页ISBN：9787562522027

本书根据最新的研究成果和工程实践，对后压浆技术的理论和工艺进行了系统的阐述。内容包括后压浆的作用机理，后压浆施工技术，后压浆的现场试验，数值模拟分析，典型工程应用以及设计理论等。...

传承与升华：城市旅游开发与营销战略

胡小武著（南京大学社会学系）2008 年出版221 页ISBN：7564110201

本书主要从旅游资源认知、旅游产业前瞻、旅游经济、城市旅游前景、世界旅游发展趋势等基础研究的视角出发，通过策划学、市场营销学、营销策划、广告策划、文化营销等应用分析方法对中国城市旅游开发与营销进...