经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
计算机科学概论 书籍
经典好书《计算机科学概论》读书内容简介:家编写,全面而细致地介绍了计算机科学的各个方面。书中,计算系统的每个分层都以剖析,从住处层开始,历经硬件层、程序设计层、操作系统层、应用程序层的通信层,最后讨论了计算的限制。此外,正文中穿插了大量的人物传记、历史注释、道德问题和最新的技术发展信息,有...详情
经典好书《像计算机科学家一样思考Python (第2版)》读书内容简介:理解Python语言编程。贯穿全书的主体是如何思考、设计、开发的方法,而具体的编程语言,只是提供了一个具体场景方便介绍的媒介。全书共21章,详细介绍Python语言编程的方方面面。本书从基本的编程概念开始讲起,包括语言的语法和语义,而且...详情
计算机网络(原书第7版) 书籍
经典好书《计算机网络(原书第7版)》读书内容简介:顶向下方法来讲授计算机网络的原理及其协议,自第1版出版以来已经被数百所大学和学院选作教材,被译为14种语言。第7版保持了以前版本的特色,继续关注因特网和计算机网络的现代处理方式,注重原理和实践,为计算机网络教学提供一种新颖和与时俱进的方...详情
深入理解计算机系统 书籍
经典好书《深入理解计算机系统》读书内容简介:本书适用于那些想要写出更快、更可靠程序的程序员。通过掌握程序是如何映射到系统上,以及程序是如何执行的,读者能够更好的理解程序的行为为什么是这样的,以及效率低下是如何造成的。粗略来看,计算机系统包括处理器和存储器硬件、编译器、操作系统和网络互连环境。而...详情
经典好书《并行计算导论(英文版.第2版)》读书内容简介:编程范例,算法和标准),既讲述传统的计算机科学算法(排序,搜索,图和动态编程算法),也讲述科学计算算法(矩阵计算,fft)介绍MPI,pthreads和Openmp这三个应用最广泛的编定可移植并行程序的标准,适合作为高等院校并行计算,并行编程,并行算...详情
云计算安全指南 书籍
经典好书《云计算安全指南》读书内容简介:Krutz高级信息系统安全顾问,电子与计算机工程学博士,有30余年信息安全保障方法、信息安全培训、分布式计算系统、计算机体系结构、实时系统方面的从业经验,独立或与他人合著图书十余部。另外,他还是Wiley信息安全认证系列图书的编辑顾问、...详情
云计算安全 书籍
经典好书《云计算安全》读书内容简介:本云计算安全原创著作,全面了解云计算安全风险、安全防护手段的佳作。在享受云计算便利服务的同时,如何保障隐私不被侵犯?信息不被窃取?云计算是否给技术安全领域带来了福音?《云计算安全:技术与应用》集合中国电信网络安全实验室多年的业内研究和实...详情
云计算安全与隐私 书籍
经典好书《云计算安全与隐私》读书内容简介:给云计算时你所面临的风险,以及为了保障虚拟基础设施和网络应用程序的安全可以采取的行动。本书是由信息安全界知名专家所著,作者在书中给出许多中肯的忠告和建议。本书的读者对象包括:IT职员、信息安全和隐私方面的从业人士、业务经理、服务提供商,以及投资机构等...详情
因计算机而强大 书籍
经典好书《因计算机而强大》读书内容简介:轻松自如地学习使用计算机;学习使用计算机能够改变他们学习其他知识的方式。 (前苹果公司总裁 约翰·斯卡利)最有可能带来文化变革的就是计算机的不断普及。计算机不仅是一个工具,它对我们的心智有着根本和深远的影响。...详情