微信扫一扫联系客服
微信扫描二维码
进入报告厅H5
关注报告厅公众号
168
Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation -- including the p-calculus, the actor model, the join calculus, and mobile ambients -- are explained with a focus on how they help design and reason about distributed and mobile computing systems.
从理解并发编程的基础是开发分布式计算系统的关键这一前提出发，本书首先介绍了并发计算的基本理论，然后介绍了有助于在高抽象级别上开发分布式计算系统的编程语言。本文介绍了并发计算的主要理论，包括p演算、参与者模型、连接演算和移动环境，重点介绍了它们如何帮助设计和推理分布式和移动计算系统。
相关文库
斯坦福新书《决策算法》Algorithms for Decision Making
3020
类型：电子书
上传时间:2021-02
标签：算法、斯坦福、代码编程)
语言：英文
金额：5积分
《接近（几乎）任何机器学习问题》Approaching (Almost) Any Machine Learning Problem
2642
类型：电子书
上传时间:2021-05
标签：算法、机器学习、智能化)
语言：英文
金额：5积分
计算机行业深度报告：DeepSeek系列报告之AI+医疗
2263
类型：行研
上传时间:2025-02
标签：计算机、DeepSeek、AI+医疗)
语言：中文
金额：5积分
电子书-Linux是如何工作的How Linux Works（英）
1569
类型：电子书
上传时间:2022-04
标签：计算机、操作系统、内部结构)
语言：英文
金额：5积分
《网络是怎样连接的》-75页读书笔记
1483
类型：读书笔记
上传时间:2025-01
标签：网络、计算机、科普)
语言：中文
金额：9.9元
《面向初学者的机器学习》Machine Learning For Absolute Beginners
1184
类型：电子书
上传时间:2021-05
标签：机器学习、计算机、算法)
语言：英文
金额：5积分
电子书-用FastAPI构建数据科学应用：用Python开发、管理和部署高效的机器学习应用程序（英）
1158
类型：电子书
上传时间:2022-03
标签：计算机、数据库、人脸检测系统)
语言：英文
金额：5积分
电子书-软件架构师手册：通过实施有效的架构概念成为成功的软件架构师（英）
1136
类型：电子书
上传时间:2021-11
标签：计算机、软件架构 、软件)
语言：英文
金额：5积分
电子书-DAMA数据管理知识体系指南（DAMA DMBOK）（英）
1101
类型：电子书
上传时间:2022-03
标签：计算机、数据库、数据管理)
语言：英文
金额：5积分
GPU深度学习基础介绍
1094
类型：学习教育
上传时间:2021-08
标签：深度学习、GPU、算法)
语言：英文
金额：5积分
积分充值
30积分
6.00元
90积分
18.00元
150+8积分
30.00元
340+20积分
68.00元
640+50积分
128.00元
990+70积分
198.00元
1640+140积分
328.00元
微信支付
余额支付
积分充值
应付金额:
0 元
请登录，再发表你的看法
登录/注册