计算机科学理论与基础知识
-
可信计算系统设计和分析徐拾义编著当前,随着"普适计算"时代的到来,数字计算系统已经渗透到社会的各个领域。对"可信计算和可信计算系统"的设计理论和实践环节的深入研究和开拓必将成为当今数字系统研究的热点。 本书共有12章,可以分成两大部分。第一部分为对可信性各类属性和基本知识的详细介绍和分析(第1~4章)。其中包括对软硬件系统的故障、错误和失效的定义及性质的形式化描述,并对软硬件系统中的故障、错误作了分析和比较;对可信性的6个属性的定义以及评估和计算方法等进行了讨论。第二部分则是在对可信性的主要属性做深入研究的基础上,阐述了提高系统可信性的基本理论、主要技术和实施方法及其他相关知识(第5~12章)。其中详细分析和讨论软硬件系统的开发生命周期各个阶段应采取的各种可信性策略和措施,阐明了避错技术、防错技术、排错技术、可测性设计技术(包括冗余与编码技术)、容错设计技术以及故障安全技术等在可信计算系统中的理论、方法和应用实例。 本书吸收了国内外关于可信性理论和技术方面的大量研究成果,是一本集数字计算软硬件系统于一体、可信性理论和实践并重的著作,适应作为高等院校计算机科学、电子信息、通信工程以及微电子等相关专业高年级本科生和研究生的教材,也可供与可信计算有关的专业人士学习参考。 -
计算机文化基础刘石丹《计算机文化基础》凝聚了作者多年的教学经验,内容实用,层次分明,讲解清晰,系统全面。它既适用于高等院校各专业的“计算机基础”课程的教学,也可供高等职业学校、高等专科学校、成人高校及本科院校举办的二级职业技术学院、民办高校、各类培训班作为计算机文化基础教材和全国计算机等级考试及培训教材,以及广大工程技术人员普及计算机文化的岗位培训教程,同时也可作为广大计算机爱好者的入门参考书,对参加全国计算机等级考试的考生也有很大帮助。 -
计算理论导引唐常杰本书是计算理论领域的经典著作,被国外多所大学选用为教材。本书以注重思路、深入引导为特色,系统地介绍计算理论的三大主要内容:自动机与语言、可计算性理论和计算复杂性理论。同时,对可计算性和计算复杂性理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答,更加有利于教学。.全书叙述由浅人深、详略得当,重点突出,不拘泥于技术细节。可作为计算机专业高年级本科生和研究生的教材,也可作为相关专业教师和研究人员的参考书。..本书由计算理论领域的知名权威Michael Sipser所撰写。他以独特的视角,系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。绝大部分内容是基本的,同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理,而没有拘泥于某些低层次的细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。同样,对于算法描述,均以直观的文字而非伪代码给出,从而将注意力集中于算法本身,而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进,并对课堂测试题进行了全面的更新,每章末均有样例解答。... -
并行计算导论张林波本书是并行计算,特别是分布式并行计算环境和消息传递并行编程的入门教材,目的是促进并行计算技术在我国的应用。书中介绍了并行计算的基础知识Linux/UNIX的基本使用、基于Linux机群的并行计算平台的建立、并行算法的设计和MPI消息传递并行编程的基本概念与方法。书中还提供了一批典型科学计算问题的并行算法与程序设计实例,介绍了一些当前国际上流行的科学计算软件工具及平台。本书力求从简单入间接税,循序渐进,读者在逐步学习使用的过程中不会利用并行计算解决自己学习和工作的问题。 本书侧重介绍高性能计算的实用技术,可作为信息技术与计算专业的基础课教材,也可作为其他理工科非计算机专业的计算机专业的并行计算课程教材。此外,本书还可作为有关Linux机群建造、MPI消息传递并行算法设计与编程及常用高性能科学计算软件的参考书与使用。 -
现代微型计算机原理与接口技术教程杨文显 主编《现代微型计算机原理与接口技术教程(第2版)》首先从16位微型计算机人手,介绍8086微处理器和微处理器子系统、内存储器、80x86汇编语言程序设计、微型计算机接口原理、微型计算机的中断系统、dma传输原理、可编程接口芯片以及数模转换与模数转换。在掌握微型计算机基本体系的基础上,进一步介绍32/64位微处理器、现代微型计算机的体系结构、微型计算机总线原理和pci/pci—express、usb总线技术。《现代微型计算机原理与接口技术教程(第2版)》内容新颖全面,既有对微型计算机原理的系统论述,又有最新一代微型计算机技术的详细介绍。全书语言流畅,举例丰富,大多数例子均是完整的实例,许多直接来自作者的科研实践。《现代微型计算机原理与接口技术教程(第2版)》可以作为大学电子信息类各专业(计算机、通信、电气自动化等)、大多数理工科类专业(机械制造、材料、机电一体化、仪器仪表、物理、数学等)学生开设“微型计算机原理与接口技术”课程的教材,同时也是科技人员学习微型计算机技术很好的自学教材和参考书。 -
算法分析与设计邓向阳、万婷婷本书是根据普通高等教育“十一五”国家级规划教材的指导精神而编写的。算法分析与设计是一门理论性与实践性兼顾的课程,是计算机科学与技术应用的核心,本书主要介绍算法设计的基本方法、基本理论,突出了计算机科学领域中的非数值算法和算法分析的基本知识。本书共分十三章,第一、二章介绍基本概念,第三至十一章介绍分别讨论各类方法。如:树及其操作、集合操作、排序、查找、图、动态规划、贪心法、分治法等。最后讨论了傅氏变换和NP完全问题。为进一步研究算法奠定了基础。本书可作为计算机软件专业本科类和研究生教材,也可供其他从事计算机研究与应用人员参考。 -
计算机文化基础实验教程李良俊暂缺简介... -
外行学电脑一点通王水研究室编著本书从认识电脑主要组件开始,讲述了电脑的正确启动与退出,鼠标键盘的基本操作,windows xP操作系统的文件管理与设置方法,汉字输入法与word办公软件,网络浏览与电子邮件,电脑视听软件以及看图工具的使用方法与技巧等知识。最后详细介绍了电脑常见故障与处理方法。在内容设计上充分考虑了从零起步,顺应广大电脑初学者学习电脑知识的迫切要求,并精心设计了大量习题,就电脑学习给出专家级的建议与指导,并配有多媒体上机指导光盘,避免了用户学习电脑过程中要走的弯路。 本书供电脑初学者学习使用,也可作为电脑培训班或短训班的培训教材。 -
实用计算机类毕业设计指导聂琨坤毕业设计是每个毕业生必须完成的一门特殊课程。它综合考查了每个学生运用所学知识解决实际问题的能力,也是培养学生独立思考能力和实践能力的重要过程。.本书是学生做好毕业设计的“良师益友”。它详述了计算机专业的毕业设计制作过程和论文写作方法。全书共分为八章。首先介绍了毕业设计的要求及论文的写作格式,然后分类介绍了计算机类毕业设计涉及的几个主要方面,主要包括:多媒体课件制作、网页设计制作、数据库管理系统、网络通信、模式识别、单片机和J2ME设计。另外,本书还分类给出了毕业设计题目及丰富的样例,毕业生可以根据样例又快又好地完成计算机方面的毕业设计和论文写作。..本书内容丰富、图文并茂、语言流畅、可操作性强,既可作为高等学校学生毕业设计指导教材,也可以作为高校教师的选题参考书,还可作为相关人员的自学参考书。... -
计算机应用基础习题与实验李燕霞本书作为《计算机应用基础》的配套教材,内容主要包括:计算机及信息技术基础知识、计算机操作系统Windows 2000、办公软件Word 2000、Excel 2000、PowerPoint 2000、计算机网络基础及Internet应用、多媒体技术基础等。全书共由7章和1个附录组成,每章分别含习题、实验两部分。本书紧密围绕课程大纲,涵盖全国计算机等级考试、高校课程水平考试的内容及要求,内容全面。习题、上机实验、测试题均紧扣《计算机应用基础》中的知识点,内容丰富全面;光盘中含教学课件、示例及实验素材,便于教学及自学。
