计算系统的形式语义 书籍
经典好书《计算系统的形式语义》读书内容简介:两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...详情
午夜计程车第二季 电视剧
电视剧【午夜计程车第二季】剧情介绍: 北京的深夜是灯火阑珊,热闹而繁忙的。近年兴起的专车更是在深夜成为城市人出行的主要工具。专车司机李南是一名午夜司机,只在午夜出车。他在专车内邂逅不同的人,见证不同的故事,人间百态,本剧将在一辆专车内还原生活的本来面貌。详情
经典好书《C 程序设计语言(第二版)》读书内容简介:实验室计算科学研究中心高级研究人员,著名的计算机科学家。他参加了UNIX系统、C语言、AWK语言和许多其他系统的开发,同时出版了许多在计算机领域具有影响的著作,如《The Elements of Programming Style》、《The Pra...详情
美国编排设计教程 书籍
经典好书《美国编排设计教程》读书内容简介:在内的8种版式设计体系,分别是轴式、放射式、膨胀式、随意式、栅格式、模块式、过渡式和双边式体系。编排设计一直是一个复杂的过程,有许多元素在起作用,比如层级、阅读顺序、易读性和对比。金伯利·伊拉姆是畅销书《设计几何学》和《栅格系统与版式设计》 (已由上...详情
Erlang 程序设计 书籍
经典好书《Erlang 程序设计》读书内容简介:作,主要涵盖顺序型编程、异常处理、编译和运行代码、并发编程、并发编程中的错误处理、分布式编程、多核编程等内容。本书将帮助读者在消息传递的基础上构建分布式的并发系统,免去锁与互斥技术的羁绊,使程序在多核CPU 上高效运行。本书讲述的各种设计方法和行为将...详情
建筑学教程:设计原理 书籍
经典好书《建筑学教程:设计原理》读书内容简介:rger)的建筑作品在世界范围内受到广泛的青睐。在这本根据1973年以来赫茨伯格在代尔夫特科技大学(Delft University of Technology)授课内容编写的专著中,建筑师把本人的设计作品和构思时的设计理念用文字的形式进行了表述。本...详情
C程序设计语言 书籍
经典好书《C程序设计语言》读书内容简介:实验室计算科学研究中心高级研究人员,著名的计算机科学家。他参加了UNIX系统、C语言、AWK语言和许多其他系统的开发,同时出版了许多在计算机领域具有影响的著作,如《The Elements of Programming Style》、《The Pra...详情
程序设计实践 书籍
经典好书《程序设计实践》读书内容简介:Pike在朗讯科技贝尔实验室的计算机科学研究中心工作。Brian Kernighan是Addison-Wesley的“专业计算丛书”顾问编辑,也是《C程序设计语言》的合著者之一(与Dennis M.Ritchie合作)。Rob Pike是Plan 9...详情
经典好书《高质量程序设计指南(第2版)》读书内容简介:,大部分企业只能依靠大量地测试和改错提高软件产品的质量,为此付出了高昂的代价。因此,如何让程序员熟练地掌握编程技术和编程规范,在开发过程中内建高质量,是IT企业面临的主要挑战之一。本书作者以轻松幽默的笔调向读者论述了高质量软件开发方法与...详情