全国计算机等级考试笔试·上机一本通 二级C语言 【工业技术】

本书根据全国计算机等级考试二级C语言的考试大纲编写而成。内容包括二级公共基础知识，二级C语言的笔试与机试考点分析，以及笔试、上机套题等。...

西门子S7可编程序控制器 STEP7编程指南 【工业技术】

本书介绍了西门子公司的PLC系统硬件、CPU的存储器、数据区、中断和扫描这些与用户编程相关的内容，可作为广大自动化产品工程师快速深入掌握西门子PLC的参考书。...

交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

8位单片机C语言编程 基于PIC16 【工业技术】

本书讲述了8位PIC16单片机，内容包括如何编程、如何测试、如何调试功能强大的PIC16单片机。本书以众多的例子来辅助讲解，程序以C语言描述。本书以简洁明了的方式，以实际例子辅助讲解最新的8位PIC16单片机，适合初...

刑事诉讼程序要点精释与裁判依据 【政治法律】

本书参照《刑事诉讼法》的体例，分4编，20章，约400个问题。针对提出的问题，分为[法律依据]和[实践指导]两个部分，[法律依据]直接提供立法和司法解释的相关规定，[实践指导]是在[法律依据]基础上提示应当注意的问题，有...

Delphi程序开发范例宝典 第2版 【工业技术】

本书全面介绍了Delphi程序开发所用到的技术和技巧，共分19章，内容包括窗体与界面技术、控件应用、数据处理技术、图形技术、多媒体技术、文件系统、操作系统与Window相差程序、注册表、数据库技术、SQL查询相...

MATLAB语言基础与应用 【工业技术】

本书首先介绍了MATLAB语言程序设计的基本内容，并以物理、数学、电子信息、自动化等领域的问题为载体对相关知识进行了讲解，例如，求解平行六面体体积、求方程特征矩阵特征值、电路问题的求解、稀疏矩阵在物理绘...

功能语言学与语篇分析研究 第2辑 【语言文字】

本书为中国功能语言学研究会、中国英汉语篇分析研究会会刊，主编为黄国文教授，每年出版一辑，内容主要包括理论解读、对比研究、词汇语法研究、评价研究、批评性话语、分析功能语篇、分析语言教学等栏目。本书为...

当代西方哲学两大思潮 上 语言学转向：分析哲学导论 【哲学宗教】

本书上卷介绍了流行于二十世纪至今的西方哲学界，主要是英语哲学界的思潮：分析哲学；下卷介绍了流行于欧洲大陆哲学界的另一思潮：诠释学，均以介绍代表人物兼思潮的发展过程为主。...

专案管理圣经 怎样运用9大知识领域、5大程序成功完成专案=Mastering project management 【其他书籍】