只为小站
首页
域名查询
文件下载
登录
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
copula程序及算法.zip
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
数据结构课后习题答案
机械臂避障路径规划仿真 蚁群算法 三维路径规划
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
数字信号处理——保研复习资料.pdf
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
华为OD机试真题.pdf
校园网规划与设计(报告和pkt文件)
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
简易示波器-精英板.zip
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
夏天IC助手1.8你们懂的
QT自制精美Ui模板系列(一)桃子风格模板 - 二次开发专用
最新下载
小NAO机器人舞蹈比赛范例
PELCO.zip(模块学习二:基于PELCO-D协议对云台进行定点控制配套资源)
nao机器人教学视频(中文)
NAO机器人舞蹈Choregraphe程序
UML精粹.pdf
(高清版)UML精粹 标准对象建模语言简明指南 第3版.pdf
血细胞检测数据集yolo格式
IP地址查看及备份工具支持PE.exe
[CS131]2017斯坦福cs131计算机视觉课程笔记和课后作业
百度文字识别.qmle
其他资源
软件定义的GPS和伽利略接收机
用友nc数据字典.xls
opencc安装工具内含distribute_setup.py和opencc.exe
javaweb实现简单个人信息管理系统
基于WEB的毕业设计管理系统(源码+论文)
PCA图像融合源码
基于vhdl的pcm编解码
Wireshark系列之6 数据流追踪
基于stm32的交流异步电机控制系统的设计
STK中文教程
骆驼Live2.3(无广告,未加固).apk
JJQQKK-2.1.0.zip
network-scanner-js:网络诊断库,可以运行ping测试,IP扫描和子网计算以及其他网络故障排除测试-源码
个人博客需求分析说明书
网上商城 ASP源码
TI公司元件库
Keil破解工具_Keil_Lic_.zip
c#用aspose.word读取word文件内容,并显示图片
学生管理系统 web
android日记本源码
Netty+H5实现实时进度条文件上传,支持断点续传
cplex 12.6