流变·探索·构建 世纪之交汉语小说语言实验论稿 【文学】

本书是一部探讨当代汉语小说语言变革的20万字专著，共5章15节。专著以马克思主义语言学和文艺学的观点为指南，从文学与语言学结合的视角，回望了当代小说语言变革的历史语境；以大量的文本案例，梳理了当代小说语言...

C语言程序设计：现代方法 【工业技术】

本书最主要的一个目的就是通过一种“现代方法”来介绍C语言，书中紧密结合了C99标准，并与C89标准进行对照，补充了C99中的最新特性。本书分为C语言的基础特性、C语言的高级特性、C语言标准库和参考资料4个部分。...

软件工程形式化方法与语言 【工业技术】

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

十字莲花 中国出叙利亚文景教碑铭文献研究（公元13-14世纪） 法文版 【哲学宗教】

本书是《十字莲花——中国元代叙利亚文景教碑铭文献研究》的法文版。原书主要描述了叙利亚文景教徒徒石刻的发现和铭文研究情况，对敦煌发现的叙利亚文景教写本进行了重新研究译释，并分别对阿力麻里、百灵庙、...

普通高中课程标准实验教科书 历史选修 20世纪的战争与和平 教师教学用书 【文化科学教育体育】

《20世纪的战争与和平教师教学用书》是配合人民出版社高中历史新课程教材编写的教师用书，约四十一万字。本册教师用书主编为南京师范大学刘军教授，其他作者为一线教师、教研员或历史学者。全书围绕第一次世界...

李敖大全集 20 国民党研究 【社会科学】

日本学研究 20 【历史地理】

本书为中、日、韩等亚洲多国家多位学者对日本学语言、文学、社会文化等多学科的研究论文集。

认知语言学研究.第3辑，认知语言学著作述评 【其他书籍】

位场数据处理中的最小曲率方法及Fortran语言程序设计 【天文地球】

本书以最小曲率数学模型的差分公式和迭代格式为基础，研究了最小曲率方法在网格数据补空和扩边、离散数据网格化以及网格数据光滑这三个方面的方法技术，并编写了相应的Fortran语言程序。本书可供从事数据处理...

徐霞客研究 第20辑 【历史地理】

本书为徐霞客研究会论文集，主要收集国内外各界发表的有关研究徐霞客的论文、诗歌、书讯、徐霞客研究会工作动态信息等方面资料的论文集。...