当前位置:首页 > TAG信息列表 > 计算
计算
-
典型计算机算法的分析 设计与实现
郭红涛著2016 年出版241 页ISBN:9787517046547本书将典型的经典问题和算法设计技术巧妙地进行结合,系统地论述算法设计技术及其在经典问题中的应用。主要内容包括:计算机算法的基础知识、算法复杂性分析、贪心算法、分治策略、动态规划、随机算法、图的搜...
-
计算系统的形式语义 下
陆汝钤著2017 年出版1856 页ISBN:9787302414940系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...
-
简明施工计算手册 第4版
江正荣,朱国梁编著2016 年出版1455 页ISBN:7112182336本手册是施工计算用的工具书,重点介绍工业与民用建筑施工中的计算问题。第四版共21章,计有:常用计算数据、常用结构计算用表、土方与爆破、基坑、地基与基础、砌体与墙体、脚手架、模板、钢筋、混凝土、预应力...
-
计算机网络应用与实践教程
刘生,耿焕同编著2016 年出版452 页ISBN:9787030500946本书共分为三部分。第一部分为网络基础理论篇,包括第1~8章,主要内容包括计算机网络概述、物理层、数据链路层与局域网技术、网络层、传输层、应用层和网络管理与网络安全,覆盖了计算机网络主要的知识范围,各章均...
-
论可计算数 图灵与现代计算的诞生
(美)克里斯·伯恩哈特(Chris Bernhardt)著2016 年出版248 页ISBN:97875086661051936年,24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。在本书中,作者还原了图灵是如何一步步对计算进行分解并构建现代计算机原型的。在作者看来,这堪称图灵一生中最重要的...