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

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

景洪市嘎洒镇傣族语言文字使用现状及其演变 【语言文字】

本书以云南南部的西双版纳傣族自治州景洪市嘎洒镇为例，对傣族语言文字的使用现状及其演变过程进行实地考察。

数据库原理及应用 SQL Server 2008版 【其他书籍】

本书共分三大部分：数据库的设计与建立、数据库的应用及数据库系统的维护。其中，数据库的设计与建立部分将数据库的理解、关系运算、数据模型、数据库的设计、规范化等内容整合为一个模块。数据库的应用部分由...

现代语言学理论与外语多媒体教学 【语言文字】

本书旨在研究以现代语言学理论（如符语用学号学、认知语言学、心理语言学等理论）为学科理论，指导外语多媒体课件的优化设计，为提高教育技术条件下的外语教学质量服务。对外语研究人员和教育工作者有较好的借鉴参...

C语言程序设计习题解答与实验指导 【其他书籍】

本书能让读者进一步熟悉和掌握C语言的基本语法规则、程序结构、编程思路及解题过程，得到程序设计基本方法和技巧的训练，同时加深和巩固对所学知识及方法的理解，发现学习中存在的错误认识，从而培养分析问题、解...

全国计算机等级考试三级教程 数据库技术 2011年版 【工业技术】

本书根据教育部考试中心最新颁布的考试大纲编写，是教育部考试中心组织编写的全国计算机等级考试系列教程之一。本书内容精练、实用性强、叙述通俗、简易可读，每章之后都附有一定数量的习题，是参加三级数据库技...

数据库原理与应用 Oracle版 【工业技术】

本书从数据库的基本概念出发，以Oracle 10g数据库为背景详细的介绍了数据库的原理和数据库系统的开发技术。全书共分为15章，分别介绍了数据库的发展、关系数据库的概念和理论、SQL语句、函数、表、数据维护、...

中国社会语言学 2009年 第1期 总第12期 【语言文字】

《中国社会语言学》为中国社会语言学研究会的会刊，该书为2009年第1期，总第12期。本书主要包括语言与交际研究，新词语使用研究，语言态度与认同研究等。...

《中华人民共和国国家通用语言文字法》释义及实用指南：哈萨哈克文 【外文】

Excel 2003/2007数据透视表从入门到精通 【工业技术】

本书全面介绍了Excel数据透视表和数据透视图的使用方法、技巧和应用。全是分3篇，共21章。再第一篇中10章，结合大量实例讲解了Excel 2003数据透视表和数据透视图的基本操作方法和应用。第二篇共4章，详细介绍了E...