本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧 尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递

本书以计算机解决问题的规律为驱动来组织内容，涵盖了计算机导论、基础算法、程序设计语言基础、C语言程序设计、数据结构和基本的软件工程知识，以期填补现有的独立学科单元内容与读者开发软件项目所需知识之间的鸿沟。这样以解决问题为导向来组织内容，不仅符合计算机解决问题的规律，同时也会提升读者的学习兴趣。 除上述特点外，本书在理论上加入了超图这样的非线性数据结构，在应用上加入了作者在人工智能领域图像处理方向上的图像森林变换和图像质量评价的*研究成果，使读者对计算机的应用有更深入的了解。 本书既可作为高等院校本科生计算机类课程的基础教材，也可作为专业人员的参考书，同时还可作为非计算机专业学生学习计算机编程的教材。

本书是一本系统性地介绍C语言编程和实际应用技术的图书,共14章,涵盖了C语言基本语法、数据类型、运算符、条件语句、循环语句、数组、指针、字符串、用户自定义数据类型和函数等方面的内容。此外,书中还介绍了C语言的 内容,包括内存管理、文件读写和数据库编程。 本书每章后都配备了“动手练一练”实践环节,旨在帮助读者巩固所学内容,并在附录A中提供了练习答案,便于读者自测和巩固。 此外,作者还提供了配套源代码、教学课件、微课视频及在线答疑服务,为读者提供 的学习帮助。本书可以帮助读者全面了解C语言编程和实际应用技术,掌握C语言编程方法。

《普通高等教育“十二五”规划教材 汇编语言程序设计习题解答及课程实验、设计辅导（第二版）》是《汇编语言程序设计（第二版）》一书的配套教材。本书共分为4个部分，内容包括：汇编语言程序设计习题解答，给出了中国电力出版社出版的《汇编语言程序设计（第二版）》（詹仕华主编）中的各章习题的解答；课程实验辅导，给出实验环境、开发程序的方法及上机实验的方法及课程实验所要求的6个实验的实验目的、实验内容、实验报告要求和部分实验参考程序；课程设计辅导，给出2个课程设计的综合实例；模拟试卷，给出4份模拟试卷及其参考答案。

本书面向地理信息科学、遥感、地理国情监测等专业的本科生以及相关的科研人员，从R语言基础出发，针对不同类型的空间数据，重点介绍了数据导入导出、操作处理和基本分析等基础操作，系统介绍了基础统计可视化和空间数据可视化技术，进一步结合空间统计分析技术进行了讲述，并*终以小学选址问题作为综合练习，使读者系统全面地掌握本书所介绍的知识和技术内容。

这本书拥有一大堆“看点”。譬如说，它的作者RodJohnson拥有10年编写Java程序的经验，目前是Servlet和O2.0两个JSR专家组的成员；再譬如说，书中着力介绍的Spring、Hibernate、WebWork等都是时下流行的开源框架，IoC、AOP之类都是时下流行的概念词汇。而的看点就赫然摆在这本书的封面上：“withoutEJB”。我们曾经在无数的书籍和文章中看到，EJB是J2EE的核心技术之一；而RodJohnson的这本书竟然宣称，绝大多数的J2EE应用根本不需要EJB。这种近乎挑衅的姿态令任何一个负责的J2EE架构师很难不萌生一探究竟的念头不论你是打算赞同他还是打算驳斥他。但所有这些尽皆不是本书的价值所在。选择一种架构、一种技术的依据是什么？RodJohnson认为，应该是基于实践的证据、来自历史项目或亲自试验的经验，而不是任何形式的偶像崇拜或者门户之见。书中谈到了企业应用方方面面的问题和解

在本书中，两位知名的C 专家将全球C 界20年的集体智慧和经验凝结成一套编程规范。这些规范可以作为每一个开发团队制定实际开发规范的基础，更是每一位C 程序员应该遵循的行事准则。书中对每一条规范都给出了的描述，并辅以实例说明；从类型定义到错误处理，都给出了的C 实践，即使使用C 多年的程序员也会从本书中受益匪浅。 本书适合于各层次C 程序员使用，也可作为高等院校C 课程的教学参考书。

本书主要介绍如何运用Matlab与C/C 进行混合程序设计。共分8章，主要包括：Matlab程序设计初步、Matlab编译器、Matlab与C语言的接口、生成可独立运行的Matlab程序、Visual C 调用Matlab程序、Matlab DotNet Builder与Visual C 、Mat与C/C 以及Visual C 调用Mattab C 数学库。另外，附录中介绍有关动态链接库的基础知识。各章包含大量的实例程序，可供寻求将Matlab程序脱离Matlab环境的Matlab程序设计人员、寻求在 Matlab中调用C/C 程序的程序设计人员、寻求在C/C 中调用Matlab程序的程序设计人员学习和参考。 本书附带一张光盘，其中包含各章实例程序的源代码。

《数据结构与算法》依据《高等学校计算机科学与技术专业核心课程教学实施方案》，面向计算机专业应用型人才培养的要求编写，内容包括顺序表、链表、栈、队、矩阵、字符串、广义表、树、二叉树、检索树、哈夫曼树、判定树、散列表，检索树、avl树、红黑树、b树、b+树、2—3树、trie树、union—find树、图等结构，各结构的特点和存储方法，实现查找、插入、删除、遍历、搜索的算法设计方法和时空效率；图的生成树和最短路径求解算法、内排序算法、文件结构和外排序算法；问题的固有难度、算法没汁的——般方法、数据结构的类封装方法等；并配有400多道习题及部分习题的参考答案。

本书由XDA专家编写，除介绍Android及移动设备基本知识外，还提供大量供读者自行破解和探索设备的技巧，也包括AndroidSDK等工具的安装方法、获取特定设备超级权限的步骤，以及如何配置电脑环境以完成破解等内容。无论是什么品牌或版本的Android智能手机或平板电脑，本书都能让你对其完全掌控，实现个性化定制，进而探究其功能、性能的极限。 本书是获取Android超级权限的指南，适于有意破解并为Android设备增加额外功能的用户。

《数据库技术及应用 原理+SQL Server+VB.NET（第2版）/高等学校数据库技术课程系列教材》系统全面地阐述了数据库 设计理论、数据库管理技术、基于ADO.NET的数据库 访问技术和数据库应用系统开发技术。全书理论教学 分为三篇共九章。数据库设计理论篇包括数据库系统 概论、关系数据库和数据库设计三章；数据库管理篇 包括SQL Server与SQL语言、Transact-SQL存储过程 和触发器、数据库保护机制三章；数据库访问篇包括 VB.NET程序设计基础、ADO.NET数据库访问技术和数 据库应用系统开发三章。最后一部分是实践篇，由11 个实验和1个大作业组成，实验内容针对学生的 VB.NET程序设计技能、融入Transact-SQL、存储过 程、触发器、视图为一体的数据库操纵和管理技能、 基于ADO.NET的数据库访问技能而设计的，前11个实 验是为最后一个实验作技术储备；最后一个实验的大 作业要求学生

作者以自己1985年在Bell实验室时发表的一篇论文为基础，结合自己的工作经验扩展成为这本对C程序员具有珍贵价值的经典著作。写作本书的出发点不是要批判C语言，而是要帮助C程序员绕过编程过程中的陷阱和障碍。全书分为八章，分别从词法分析、语法语义、连接、库函数、预处理器、可移植性缺陷等几个方面分析了C编程中可能遇到的问题。后，作者用一章的篇幅给出了若干具有实用价值的建议。本书适合有经验的C程序员阅读学习，即便你是C编程高手，本收也应该成为你的案头。