赵正旭，温晋杰，赵卫华著2015 年出版145 页ISBN：9787030447876
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...
新时期中国少数民族语言使用情况研究丛书 甘洛民族语言使用现状及其演变
木乃热哈主编2015 年出版136 页ISBN：9787100113625
甘洛县的语言资源非常丰富。彝语中的田坝土语和尔苏藏族使用的藏语尔苏话都有独特的研究价值。本书详细介绍和分析了甘洛县彝族和尔苏藏族的语言使用现状及形成这种现状的原因，调查分析了彝族和尔苏藏族（尤其...
孙晶著2012 年出版279 页ISBN：9787309084719
本书在翔实的史料的基础上，通过详述巴金的编辑思想与编辑活动及其同现代作家的关系，论证了巴金在中国现代出版史上的重大意义，展现来了巴金作为编辑和出版家对于中国现代文学发展的推动作用。...
费锦昌主编2016 年出版342 页ISBN：9787532647347
《语言文字规范应用手册》是一部介绍国家语言文字规范标准的读物。本书的特点在于：一、它选编了最常用的语言文字规范标准9项，有新版本的绝不用旧版本。属于口袋书，便于携带和查检。二、在主要的规范标准后面...
周奇，杜维东主编2008 年出版730 页ISBN：7810908294
本书是一本从事图书工作者的实用手册，涵盖了编校工作中经常遇到的字词、语法、逻辑、标点等，全面且系统。
费锦昌主编2015 年出版702 页ISBN：9787532644766
《语言文字规范应用指南》是一部介绍国家语言文字规范标准的读物。本书的特点在于：一、它选编了适用面最广的最新的国家语言文字规范标准。有国标的一定选国标，有新版本的决不用旧版本。二、在主要的规范标准...
