只为小站
首页
域名查询
文件下载
登录
The
Pi-Calculus
:A Theory of Mobile Processes
The
Pi-Calculus
:A Theory of Mobile Processes
2022-05-17 22:26:59
17.51MB
Pi-Calculus
1
communicating and mobile systems: the
pi-calculus
此书作者robin milner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。
2021-11-08 23:31:07
6MB
processes
pi-calculus
mobile
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
RentingSystem.rar
BP_PID控制仿真.rar
刚萨雷斯《数字图像处理》第四版答案.pdf
copula程序及算法.zip
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
多智能体的编队控制matlab程序(自己编写的,可以运行)
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
现代操作系统原理与实现.pdf
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
PLECS中文手册.pdf
画程(版本6.0.0.127)setup个人版
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
基于hadoop商品推荐系统课程设计
基于Python网络爬虫毕业论文.doc
最新下载
基于LabVIEW在局域网内使用TCP/IP协议传送文件
Unity插件——Odin V3.5下载
NOIP2005-2018年普及组复赛题目及完整测试数据,附赠cena测评软件。
千分频秒脉冲产生电路图
Python淘宝、京东、拼多多、京喜自动化爬虫实战代码,完整代码可以直接使用.rar
QT自制精美Ui模板系列
基于de1-SoC开发板设计的数字始终设计(Verilog HDL语言)
GJB6600标准介绍(2013).pptx
IETM各个标准介绍及开发方案.pptx
Linux版Oracle11g x32位 数据库安装包
其他资源
Rssi Matlab仿真程序
网络编程 socket 编程 用户登录注册 服务端与客户端
SWIADMLE+使用教程
tensorflow-1.14.0-cp36-cp36m-win_amd64.whl
基于asp.net的图书管理系统
xchart是一个可拖拽放大缩小的数据可视化系统
操作系统PPT英文版
What Hedge Funds Do
GD32E23x系列硬件开发指南 V1.0.pdf
eulerr:带椭圆的面积比例欧拉图和维恩图-源码
操作系统2rar
自定义模板自动生成.rar
LVRTE2010sp1std64.zip
common-frontend:与前端相关的公共和有用的资源-源码
宏/毫微微小区分级网络中基于Stackelberg游戏的频谱分配方案
2020年全球智库指数排名报告(英).pdf
模拟银行排队叫号机 VC++6
UWB DW1000有线同步手册
opencv学习手势轮廓识别源代码
Facebook获取密钥散列
matlab的canny边缘检测
3D虚拟试衣间的设计与实现
thinkphp3.2.3入门教程实例-新闻系统
voice box说明书