计算系统的形式语义 书籍
经典好书《计算系统的形式语义》读书内容简介:两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...详情
电机电磁场的分析与计算 书籍
经典好书《电机电磁场的分析与计算》读书内容简介:大学(原哈尔滨电工学院)教授,中国电工技术学会名誉理事。1953年毕业子东北工学院,1955年毕业于哈尔滨工业大学研究生班。1955,1962年在哈尔滨工业大学任讲师,1962-1978年任副教授,1979年在哈尔滨电工学院任教授至今。长期从事电机专...详情
经典好书《空间网格结构分析理论与计算方法》读书内容简介: 《空间网格结构分析理论与计算方法》为中国建筑工业出版社出版发行。作者简介详情
期货市场计算机分析指南 书籍
经典好书《期货市场计算机分析指南》读书内容简介:多的德高望重的老将。作为《技术交易商简报》一个面向机构及专业期货交易商的教育性月刊的编辑和发行人,勒博以他的交易技巧和技术分析的专业知识而闻名遐迩。他曾任E.F哈顿公司的区域期货主管。他组织、规划及推广过无数次的与商品相关的投资产品活动。他是期货市场...详情
十分钟速成课:计算机科学剧情介绍 电视剧
电视剧【十分钟速成课:计算机科学剧情介绍】剧情介绍: 详情
经典好书《大型分布式网站架构设计与实践》读书内容简介:型分布式网站架构所涉及的一些技术细节,包括SOA架构的实现、互联网安全架构、构建分布式网站所依赖的基础设施、系统稳定性保障和海量数据分析等内容;深入地讲述了大型分布式网站架构设计的核心原理,并通过一些架构设计的典型案例,帮助读者了解大型分布式网站设计...详情
经典好书《发布!设计与部署稳定的分布式系统(第2版)》读书内容简介:讲述了如何创建高稳定性的软件系统,分析了设计和实现中导致系统出现问题的原因。全书分为四个部分,每部分内容都由一个研究案例引出。第一部分介绍了如何保证系统的生存,即维护系统正常运行。第二部分介绍了为生产环境而设计,从基础层、实例层、互连层和控制层等方面...详情
经典好书《分布式系统概念与设计(原书第3版)》读书内容简介:供深入的分布式系统设计原理和实践方面的知识,读者通过学习可以掌握评价已有系统或设计新系统的方法。书中结合分布式系统技术主要的新进展,重点介绍了因特网、企业内部网、Web和中间件,还包括故障建模和容错、分布式对象和分布式多媒体系统。《分布式系统概念与设...详情
经典好书《高伸缩性系统:Erlang/OTP大型分布式容错设计》读书内容简介:式容错设计》是一本罕见的站在核心设计者而非普通开发者角度介绍 Erlang/OTP系统的权威书籍。两位作者均是深耕分布式计算领域超过20年的专家。《高伸缩性系统:Erlang/OTP大型分布式容错设计》内容兼具深度与广度,不仅带领读者通过一步步实践的...详情
分布式系统概念与设计 书籍
经典好书《分布式系统概念与设计》读书内容简介:前版已被爱丁堡大学、伊利诺伊大学、卡内基-梅隆大学、南加州大学、得克萨斯A&M大学、多伦多大学、罗切斯特理工学院等世界众多名校采纳为高级操作系统、计算机网络、分布式系统课程的教材。第4版的新内容:全新的三章内容,分别介绍对等系统、Web服务、移动与普...详情