分次模态语言的模型论

本著作是国家社科基地西南大学逻辑与智能研究中心教育部重大课题攻关项目“现代归纳逻辑的创新功能与应用以及认知基础”（05JZD0008）的研究成果之一。本书把经典逻辑的这些结果推广到分次模态逻辑，所展现的主...

C程序设计语言与软件工程

本书描述了由Kernighan和Ritchie定义的C程序设计语言的所有特性及C程序设计语言标准定义的所有特性。

C语言程序设计与项目实践

本书内容分为三个部分。第一部分是C语言基础部分，包括第1-6章，介绍C语言概述、基本数据类型及运算、顺序程序设计、分支程序设计、循环程序设计、模块化程序设计；第二部分是C语言应用编程，包括第7-10章，主要内容...

室内设计原理与实践

本书包括九章内容：室内设计概述、现代室内设计的常用风格及特色、室内空间设计、室内色彩设计、室内设计中的照明、室内设计中的要素、居住空间设计、公共空间设计、室内设计的表现手法。...

现代大学制度 原理与实践

本书为全国教育科学“十二五”规划课题“现代大学制度研究”的最终研究成果。本书详细分析了现代大学制度生成与发展的基本原理，并对我国大学制度改革的实践进行了详细的解剖。本书重点分为现代大学制度原理...

休闲理论原理与实践

本书对旅游和休闲领域的公共政策和规划进行了全面的、多学科的研究，包括理论观点和在分析方法范围内应用的实践指导。本书是旅游从业者和研究者重要的理论参考书，可以用做旅游和休闲专业本科生和研究生的教材...

色彩原理与实践

本书图文并茂、观点明确，通过对大量经典案例的学习与实践，可以有效提升读者自身的创作与鉴赏能力，帮助读者掌握色彩设计的应用法则。本书可以作为本科和高职高专院校设计相关专业以及设计领域培训班的色彩设计...

数字设计 原理与实践 第4版

本书讲述了插件板级和VLSI系统中的数字设计基本原理和实践需求，提供了最广泛的逻辑设计实践，并给出了大量实际应用。

细胞工程原理与技术

油藏工程原理与方法