面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

中药传统制剂及零售经营知识 【医药卫生】

本书共分上、下两编，上编为制剂大全，下编为零售经营知识，其上编特点为：一是门类齐、品种多，二是将古今经方、名方、验方融为一书，三是所收载方剂集治病保健功效之大成，四是制备方法全，五是体例编制有序。下编......

高等学校计算机科学与技术教材 数据库系统及应用基础：基于SQL SERVER 2000 【其他书籍】

本书由数据库系统原理、SQL Server 2000基础及基本操作和课程设计三部分组成，重点阐述了数据库系统的基本概念、基本原理和基本技术，概念清晰、深入浅出、前后呼应、适应性和可读性强。本书取材着重于被广泛...

辽宁省第六届少数民族传统体育运动会 【文化科学教育体育】

本书为辽宁省第六届少数民族传统体育运动会画册。收录内容为开幕式、大型文体表演、各代表团训练参赛情况、赛场风云、组织工作、闭幕式及演出。...

少数民族传统体育教程 【文化科学教育体育】

鉴于我国民族体育教材及资料甚少的实际情况，为满足体育院校民族体育专业教师及民族传统体育研究工作者教学与研究的需要，同时也是为省民运会和全国民运会尽微薄之力，我们在总结陀螺、蹴球、木球、珍珠球、毽球...

大现代文学的传统文化渊源选论 2版 【文学】

中国传统文化是中国现代文学作家取之不尽的源泉。本书主要选取了大陆的代表型作家王安忆、海外华人作家白先勇、台湾作家余光中、香港作家金庸作为重点分析对象，对“大现代文学”受传统文化渊源的影响，进行了...

泰式按摩百科全书 传统泰式按摩和指压穴位按摩疗法全面指南 【医药卫生】

本书介绍泰式按摩的历史，泰式按摩的基本技术及整个操作程序。

少数民族乡村治理的本土资源问题研究 以贵州苗族传统法文化为例 【政治法律】

本书从风俗、习惯、村规民约、婚姻礼俗、民间社会组织、自然领袖权利等方面，论述了传统文化在少数民族乡村治理中的地位和作用。

这个夏天的回想 “布吉街道青少年革命传统教育夏令营活动”作文选登 【语言文字】

对传统的价值观念说“不” 伊迪丝·沃顿六部主要小说主题研究 英文 【文学】

本论文深入分析了美国著名女作家伊迪丝·华顿的六部小说，以及在她作品中所体现的对美国上层社会传统价值观和虚伪表现的积极地挑战。