本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧 尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
本书是普通高等教育 十一五 *规划教材。本书以Visual Basic 6.0中文版为语言背景，通过大量实例，深入浅出地介绍Visual Basic程序开发环境，Visual Basic程序设计基础，Visual Basic可视化编程的概念与方法，顺序结构程序设计，选择结构程序设计，循环结构程序设计，数组，过程，变量与过程的作用域，用户定义类型与枚举类型，图形与图像，菜单、工具栏与对话框，键盘与鼠标事件过程，数据文件等内容。书中每章均附有典型习题。本书免费提供电子课件，可以登录华信教育资源网（http://www.hxedu.com.cn），注册后下载。另外，《Visual Basic程序设计教程习题及习题解答（第5版）（6.0版）》（ISBN 978-7-121-31178-9），对本书中习题做了详细解答。本书可作为大学、高职高专院校的教材使用，本书同样适合作为全国计算机等级考试二级Visual Basic语言的辅导教材。
《JavaWeb项目实战教程(全国机械行业职业教育优质规划教材)》以在线购物系统为案例，以软件项目开发工作流程为写作主线，从需求分析、软件设计、编码、软件测试到软件的部署与维护，让读者经历真实的软件开发过程，体会企业规范化、标准化、专业化的软件开发流程和管理规范。 本书的主要内容是基于MVC的在线购物系统的实现，然后又增加了分别基于struts、struts Hibemate、stnlts Hibernate spring等框架的在线购物系统 登录模块 的实现，以帮助读者了解基于JavaWeb技术的几种主流框架的简单应用，使读者了解常用的框架技术。 本书既可作为高职高专计算机及相关专业的教材，也可作为计算机培训班的教材及软件行业程序员自学者的JavaWeb入门级书籍。
为C语言程序设计与应用教程的辅导指导用书。 主要内容包括C语言基础知识、C语言程序控制结构、数组、函数、指针、结构体、编译预处理、位运算、文件、C语言图形设计等。配备了丰富的编程习题，以及模拟试卷、重点难点分析等。
本书采用"任务驱动式”教学方法介绍Visual Basic程序设计的基础知识与方法。主要内容有：Visual Basic工作环境，可视化编程的概念和步骤，Visual Basic语言基础，顺序结构程序设计，选择结构程序设计，循环结构程序设计，数组，过程，菜单和工具栏设计，对话框设计，图形和图像设计，程序调试技巧等。
本书根据*非计算机专业计算机基础课程教学指导分委员会提出的《高等学校非计算机专业计算机基础课程教学基本要求》中的关于“程序设计”课程教学要求，根据当前学生的实际情况，结合一线教师的教学实际经验编写而成。 本书主线清晰、重点明确、内容恰当、概念通俗、表述简洁、举例实用，既注重基础理论，又突出实践性。全书共分9章，内容包括计算机的组成与程序设计基础、C语言基础、C语言控制语句、函数与预处理、数组、指针、其他自定义数据类型、文件和一个完整案例的设计和实现。 本书适合各类大专院校作为程序设计教材使用，也可作为学习计算机知识的自学参考书或培训教材。
本书系统地介绍了JSP技术的概念、方法与实现过程，包括JSP运行环境、JSP语法与组成元素、JSP内置对象、JSP对数据库的操作、JSP对JavaBean的调用、JSP对Servlet的调用等，后还介绍了两个JSP综合实例。通过对本书的学习，读者可以系统地掌握JSP技术相关概念、方法、编程思路和技巧。 本书不要求面面俱到，也不追求博大精深，主要是面向大中专院校学生和没有开发经验或者仅有少量程序设计基础的读者，使读者能够在短的时间内获得用JSP开发中小型网络系统的开发经验。同时，本书还有针对性地对一些技术的更新做了相关介绍，使读者能够掌握技术新动向，为以后更加深入地学习打下坚实基础。
《Java高级开发》是高等教育出版社与达内时代科技集团（以下简称达内集团）联合出品的程序设计类新形态一体化教材，由达内集团诸多开发经验及授课经验丰富的一线讲师编写。《Java高级开发》以IT互联网企业实际用人的要求为导向．总结近几年国家应用型本科院校与示范性高职院校软件技术专业教学改革经验及达内集团在IT培训行业十多年的经验编写而成。《Java高级开发》主要介绍java编程技术，全书共分为7章，包括：Java桌面图形界面开发、Java I／O、Java多线程、Java网络编程、JDBC、XML和JSON、Java反射和注释。每一章节都由基础知识、阶段案例、练习、总结等模块组成，通过不同模块间的互相辅助来搭建Java程序开发教学所需要掌握的知识结构。《Java高级开发》可作为应用型本科、高等职业院校软件技术专业的课程教材，也可作为Java开发者的学习和参考用
卢淑萍、樊红珍主编的《JavaScript与jQuery 实战教程》系统全面地介绍了JavaScript和jQuery知 识，内容涵盖JavaScript基本语法、BOM编程、DOM编 程、事件、jQuery基础、jQuery中的DOM操作、 jQuery制作动画、jQuery插件及jQuery与Ajax等客 户端交互特效制作技术。本书由浅入深，辅以大量的 实例说明，操作性和实用性较强。 本书适合作为各大专院校相关专业的网页特效设 计课程的教材，也可以作为网页特效设计的培训教材 和网站开发的参考书。
马忠梅、王美刚、孙娟、李嘉斌、刘佳伟等编著的《自动检测技术》针对8051单片机和程序设计语言——C语言，讲解单片机的C语言应用程序设计。C51编译器支持经典8051和8051派生产品，统称为Cx51。内容既包括单片机基础和Cx51基础：数据与运算、流程控制语句、构造数据类型及函数与程序结构；又包括Cx51的应用部分：内部资源、扩展资源、输出控制、数据采集、人机交互及物联网传感器采集的C编程。本书还对软件工程推崇的模块化编程技术有所阐述，特别为实时控制的精确定时讲述了C语言与汇编语言的混合编程技术。书中配备了足够数量的习题，可供师生选用。 《自动检测技术》的特点是取材原文资料，总结实际教学和应用经验，实例较多，实用性强。书中C语言针对8051的特有结构描述，即使无编程基础的人，也可通过本书的学习很快掌握单片机的C编程
本书详细介绍了Java面向对象程序的基础知识和项目开发的基本技术，主要内容包括开发入门、面向对象设计、图形用户界面(GUI)设计、网络通信功能、文件传输功能、线程编程、数据库编程和综合项目开发。 本书贯穿了一个典型的网络聊天系统的设计和开发案例，完整地体现了一个网络应用系统的对象定义、对象建模和模型转换为编码的基本开发流程。书中设计了技能训练、项目学做、实战练习递进式的技能训练体系，按照由简单技能到复杂技能、由单一技能到综合技能的规律，训练和提高学生的编程能力，在递进式的技能训练体系中培养学生的项目操作能力。本书的案例源码均在开发环境下调试通过。 本书可作为高职高专院校相关专业的教材、社会Java编程培训班教材和广大编程人员自学的实用指导书。
本书主要介绍如何使用DirectX 11开发交互式3D图形程序。书中除第1章外，每一章都通过一个完整的实验介绍DirectX 11程序开发的相关知识。首先介绍了Windows编程的基础以及必要的数学函数库的使用，然后讲解了相关的3D概念。其主题涵盖了Direct3D的基本原理和方法，例如图元的绘制、光照、纹理、混合、模板等。本书弱化过多的理论讲解，强调在实践中掌握3D图形编程的基本技能。内容深入浅出，主要面向希望学习3D图形开发技术并具有一定的程序设计基础的大中专院校学生以及希望学习3D图形编程的开发人员。
Objective-C是扩展C的面向对象编程语言，也是iPhone开发用到的主要语言。《Objective-C入门教程》站在初学者的角度，以形象的比喻、实用的案例，通俗易懂的语言，详细讲解了Objective-C的基本知识、开发工具的安装使用、面向对象思想、分类、Foundation框架等，以及在程序中如何调试程序、处理错误等。*后带领大家开发了一个iOS 程序，帮助大家建立学习OC的兴趣和自信心，适合初级开发人员阅读。
《数据结构（C语言版 第2版）/21世纪高等学校计算机规划教材》在选材与编排上，贴近当前普通高等院校 数据结构 课程的现状和发展趋势，符合新研究生考试大纲，内容难度适度，突出实用性和应用性。全书共8章，内容包括绪论，线性表，栈和队列，串、数组和广义表，树和二叉树，图，查找和排序。全书采用类C语言作为数据结构和算法的描述语言。 《数据结构（C语言版 第2版）/21世纪高等学校计算机规划教材》可作为普通高等院校计算机和信息技术相关专业 数据结构 课程的教材，也可供从事计算机工程与应用工作的科技工作者参考。
本书是《C语言程序设计教程》的配套教材。全书共12章，分别对C语言程序设计中的C语言程序设计基础、分支程序设计、循环程序设计、数组、函数、字符串处理、指针、结构体和共用体、文件、位运算和编译预处理的主要内容进行简要概述。结合每章要点，参考各种考试中的主要知识点，设计了大量的例题，并对每个例题进行详细解析。*后，对原书中每章习题的设计思想、关键知识点以及注意事项等进行解析和说明，并给出了参考答案。
Web前端是一个网站开发的首要部分，前端开发的好坏直接影响到整个网站的交互效果。HTML、CSS与JavaScript技术是所有网页技术的基础和核心，无论是在互联网上进行发布，还是编写可交互的应用程序，都离不开它们的综合应用。 本书以项目开发为主线，采用边讲边练的方式，适合于高等院校IT专业的本、专科生学习，也可作为希望从事网页设计与制作、网站开发及网页编程等行业人员参考。本书致力于通过深入浅出的讲解，带领读者进入丰富多彩的网页编程世界。 本书内容可以划分为3个部分，共11章和2个附录：部分主要介绍使用HTML语言和CSS进行项目开发和设计； 第二部分主要介绍使用JavaScript技术做出采用的网页动态效果；第三部分主要介绍了HTML5基础和应用以及客户端页面开发规范等。
本书根据*非计算机专业计算机基础课程教学指导分委员会提出的《高等学校非计算机专业计算机基础课程教学基本要求》中的关于“程序设计”的课程教学要求编写。全书以面向对象的编程思想为主线，主要讲解程序设计基础知识、类与对象的基本概念、继承与多态、输入/输出流以及泛型程序设计等内容。 本书可作为高等院校“程序设计”课程的教材使用，也可作为学习程序设计的自学参考书和培训教材。
《21世纪高等学校计算机规划教材·高校系列：C++程序设计上机指导与习题解答》是《C++程序设计》的配套辅导教材，内容包括：第1篇——习题解答与课后习题，习题解答详细、通俗易懂，新添的课后习题，力求典型；第2篇——C++实验指导，精心设计了14个实验，每个实验举例给出了算法分析、解题思路、难点提示和思考问题，由浅入深。 《21世纪高等学校计算机规划教材·高校系列：C++程序设计上机指导与习题解答》可作为C++程序设计课程的辅助教材，也可供计算机编程爱好者自学使用。
本书从初学者的角度出发，以丰富的案例，不同的学习图标，深入浅出地介绍了Java编程的基础知识和高级技术。全书共12章。第1章介绍了Java语言的特性、Java开发环境的搭建、Java程序的编译和运行过程。第2章介绍了Java语言的一些基本语法。第3章和第4章全面讲解了面向对象编程的思想和应用。第5章～第12章分别介绍了常用的Java数据结构、异常处理、文件与流、图形用户界面编程、Java applet、多线程、网络编程和数据库编程技术。 本书可作为高等院校相关专业或社会培训机构的教学用书，也可作为Java技术的初学者与编程爱好者的自学用书。
