于思著2005 年出版376 页ISBN：7801905180
本书中探索的问题是：1．经比较、筛选确定了求解必然真结论的逻辑程序的理论工具是T系统、S4系统的语义解释，检验工具是休斯子克雷斯韦尔语义图；2．由证确定了（前提与结论之间的）语义后承关系是求解推理式必然真结......
赵端阳，刘福庆，石洗凡编著2015 年出版404 页ISBN：9787302400073
本书主要包括经典的算法设计技术，介绍数据结构和标准模板库STL、递归与分治策略、动态规划、贪心算法、回溯算法、分支限界算法、图论、组合数学和计算几何问题。本书包括大量的问题实例，并在浙江大学和杭州...
全国计算机等级考试二级教程 Visual Basic语言程序设计 2013年版
教育部考试中心编2013 年出版426 页ISBN：9787040372304
本书根据教育部考试中心最新颁布的考试大纲编写，是教育部考试中心组织编写的全国计算机等级考试系列教程之一。本书内容精练、实用性强、叙述通俗、简易可读，每章之后都附有一定数量的习题，是参加二级VB语言程...
全国计算机等级考试二级教程 Python语言程序设计 2018年版
教育部考试中心2018 年出版223 页ISBN：9787040502237
本书根据教育部考试中心最新颁布的2018年考试大纲编写，是教育部考试中心组织编写的全国计算机等级考试系列教程之一。本书从Python语言的基本数据结构出发，介绍了程序设计的思想和方法。内容精练、实用性强、...
陈新建，邵少雄，葛长虹编著2007 年出版478 页ISBN：9787811240047
本书系统介绍PIC系列单片机、汇编和C语言编程方法以及项目开发应用过程，以应用实验和具体项目开发的方式全面阐述应用程序的编制过程。首先介绍了PIC系列单片机的分类、硬件结构、引脚定义和指令系统，以C18、...
王小科，张宏宇，吕双编著2008 年出版474 页ISBN：7115172897
本书以初学者在实际开发中应该掌握的技术和开发中小项目为中心，全面介绍了使用C#进行程序开发的各方面技术，主要包括入门篇、提高篇和实例篇。入门篇主要包括认识Visual C#、C#语言基础、C#语句控制、数组、...
尹帮治主编2007 年出版323 页ISBN：7508449231
本教程详细地讲解了C语言及其相关的程序设计方法。作者根据多年的教学经验，深该了解读者的学习特点，合理安排教程内容，将图解实例与概念理解、将实训设计与应用编程有机结合起来，详细介绍了C语言的基本语法、输...
文全刚，郝志刚主编；张荣高副主编2016 年出版350 页ISBN：9787512421028
本书基于ARM体系结构进行汇编语言的教学。全书的内容分成三个部分：第一部分主要介绍汇编语言程序设计的基础知识和ARM系列微处理器，包括第1、2章。第二部分主要介绍基于ARM体系结构的指令系统，汇编程序设计，以...
高怡新编著2008 年出版289 页ISBN：9787115175281
本书从实际应用出发，系统地介绍了使用ASP技术进行网络应用程序设计与网站开发的基本理论与编程实践。除了讲述HTML标记语言、VBScript脚本语言、ASP内置对象与组件、ADO数据库技术等之外，本书还较为详细地介...
王晓东主编；苗暹，杨毅副主编2008 年出版196 页ISBN：7508451252
本书是与《C++程序设计简明教程》一书配套使用的适用教材。全书共5章，内容包括C++语言集成开发环境，C++程序设计课程的典型实验项目，《C++程序设计简明教程》一书的习题参考解答，以及模拟试题。书中的实验和开...
