频道

  • 扫一扫安装书房APP

  • 扫一扫关注微信号

hywcxq
hywcxq
私信
https://www.docin.com/hywcxq
他还没有介绍自己~
  • 文档 16
  • |
  • 总浏览量 625
  • |
  • 粉丝  
hywcxq
https://www.docin.com/hywcxq

他还没有介绍自己~

私信
hywcxq
  • 文档 16
  • |
  • 总浏览量 625
  • |
  • 粉丝  
主页 新鲜事 他的文档 他的收藏 豆单/专题 他的关注 他的成长 他的资料

最近上架的文档

基于多元Pi-演算的Web服务形式化描述模型及其验证 5 p
基于多元Pi-演算的Web服务形式化描述模型及其验证
基于应用π演算的可信平台模块的安全性形式化分析 9 p
基于应用π演算的可信平台模块的安全性形式化分析
一种扩充的π-演算及事务性等价关系研究 8 p
一种扩充的π-演算及事务性等价关系研究
应用Pi演算描述工作流高级模式 6 p
应用Pi演算描述工作流高级模式
点集拓扑学基础讲义 185 p
点集拓扑学基础讲义
中国计算机学会推荐国际学术刊物与会议 计算机科学理论 6 p
中国计算机学会推荐国际学术刊物与会议 计算机科学理论
中国计算机学会推荐国际学术刊物与会议 计算机体系结构与高性能计算 9 p
中国计算机学会推荐国际学术刊物与会议 计算机体系结构与高性能计算
中国计算机学会推荐国际学术刊物与会议 计算机图形学与多媒体 6 p
中国计算机学会推荐国际学术刊物与会议 计算机图形学与多媒体
查看全部>>

他的勋章

分享新人
分享模范