标签:该书

计算系统的形式语义-好书天下
计算机类

计算系统的形式语义

计算系统的形式语义是目前计算机科学理论研究的两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章,概述了形式语义学的现代应用, 分别介绍分布式系统、移动计算和移动通信系...

什么是高中物理-好书天下
科普百科

什么是高中物理

几乎囊括了高中物理的所有知识点,流畅而有趣地讲述这些内容的来龙去脉,并以一个清晰的脉络串起来,帮你在脑海里构建物理图景,让你登高望远、俯瞰整个高中物理,产生居高临下之感。 鸟瞰式的认知,物理思想和大局观,让你理解物理的本质,建立底层的思考逻辑,形成统一的解题思考路径。达到触类旁通,做题顺手拈来。 为学习高中物理而迷茫的学子指明了方向,让学习高中物理会更加得心应手。 相...

MATLAB数值计算(2013修订版)-好书天下
计算机类

MATLAB数值计算(2013修订版)

《MATLAB数值计算》经MATLAB、数值分析和科学计算之父Cleve Moler本人正式授权,是Numerical Computation with MATLAB 2008/2013修订版的中译本。该书不以深奥的数值分析理论为内容,而以易于理解的数学思维和便于掌握的数学计算编程技术为教学素材。该书摒弃以往数值分析教材中常见的程式性定理、定理证明、收敛性理论和冗长公式推演。该书数值算...

南京大屠杀-好书天下
历史人物

南京大屠杀

张纯如版《南京大屠杀》, 一部令国人流泪的书,所有的中国人都要看的书! ★★★★★ 编辑推荐: 中信版《南京大屠杀》的独特价值 1. 《南京大屠杀:第二次世界大战中被遗忘的大浩劫》是张纯如唯一以《南京大屠杀》命名的中文简体版。 2. 张纯如所著《南京大屠杀》数次登上《纽约时报》畅销书榜,被翻译成15种语言,轰动世界。中信版《南京大屠杀》是在原著基础上...

添加微信公众号:“好书天下”获取书籍

添加微信公众号:“好书天下”获取书籍添加微信公众号:“好书天下”获取书籍