注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Pi演算经典入门教程1

  2. A Calculus of Mobile Processes 1

  3. 所属分类：专业指导

    • 发布日期：2009-12-31
    • 文件大小：340992
    • 提供者：vosar

  1. PI演算经典入门教程2

  2. A Calculus of Mobile Processes 2

  3. 所属分类：专业指导

    • 发布日期：2009-12-31
    • 文件大小：272384
    • 提供者：vosar

  1. CCS and Pi-calculus

  2. 系统地介绍了CCS和pi-calculus,适合初学者使用。

  3. 所属分类：专业指导

    • 发布日期：2010-01-22
    • 文件大小：18874368
    • 提供者：panhaiyu

  1. Pi Calculus Robin Milner

  2. Pi Calculus Robin Milner

  3. 所属分类：C

    • 发布日期：2010-06-10
    • 文件大小：4194304
    • 提供者：mzjiang2004

  1. Pi Calculus Robin Milner part2

  2. Pi Calculus Robin Milner Part 2

  3. 所属分类：Java

    • 发布日期：2010-06-10
    • 文件大小：1048576
    • 提供者：mzjiang2004

  1. communicating and mobile systems: the pi-calculus

  2. 此书作者robin milner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。

  3. 所属分类：专业指导

    • 发布日期：2010-08-06
    • 文件大小：6291456
    • 提供者：princess00

  1. Pi calculus versus Petri nets

  2. Pi calculus versus Petri nets

  3. 所属分类：其它

    • 发布日期：2010-08-15
    • 文件大小：437248
    • 提供者：yk4060

  1. Formal verification or certification related

  2. Symbolic bisimulation of the applied pi-calculus; formal methodes for mobile systems communiciation. Symbolic bisimulation of the applied pi-calculus; formal methodes for mobile systems communiciation. Symbolic bisimulation of the applied pi-calculu

  3. 所属分类：其它

    • 发布日期：2010-10-14
    • 文件大小：518144
    • 提供者：xgwang78

  1. Communicating and Mobile Systems the Pi-Calculus

  2. Communicating and Mobile Systems the Pi-Calculus，经典书，内附阅读工具WinDjView

  3. 所属分类：网络安全

    • 发布日期：2011-04-08
    • 文件大小：6291456
    • 提供者：xgy951113

  1. 基于Pi_演算的Web服务组合的描述和验证

  2. 基于Pi_演算的Web服务组合的描述和验证.pdf pi calculus web services

  3. 所属分类：其它

    • 发布日期：2011-05-20
    • 文件大小：776192
    • 提供者：sharekk7

  1. pi-calculus

  2. pi-calculus, process expressing, mobile processing

  3. 所属分类：其它

    • 发布日期：2011-10-14
    • 文件大小：306176
    • 提供者：admxu

  1. Communicating and Mobile Systems- the Pi-Calculus-0

  2. Pi-Calculus introduction

  3. 所属分类：专业指导

    • 发布日期：2011-10-19
    • 文件大小：57344
    • 提供者：wjjl2010

  1. pi-calculus

  2. Robin milner的pi演算介绍，作者是图灵奖的获得者。

  3. 所属分类：专业指导

    • 发布日期：2008-11-05
    • 文件大小：24576
    • 提供者：button1314

  1. The Pi-Calculus：A Theory of Mobile Processes

  2. The Pi-Calculus：A Theory of Mobile Processes

  3. 所属分类：专业指导

    • 发布日期：2017-07-19
    • 文件大小：17825792
    • 提供者：jerryc2007

  1. A Calculus of Mobile Processes Part I and part II

  2. Milner大大的经典论文，Pi演算的完整论述。 英文，不知道是否有哪位大侠有空翻译，先表谢意。

  3. 所属分类：专业指导

    • 发布日期：2009-02-10
    • 文件大小：505856
    • 提供者：zhangkk1517

  1. make your own neural network tariq rashid

  2. A step-by-step gentle journey through the mathematics of neural networks, and making your own using the Python computer language. Neural networks are a key element of deep learning and artificial intelligence, which today is capable of some truly imp

  3. 所属分类：Python

    • 发布日期：2018-11-10
    • 文件大小：4194304
    • 提供者：tailorstone

  1. Make Your Own Neural Network

  2. A step-by-step gentle journey through the mathematics of neural networks, and making your own using the Python computer language. Neural networks are a key element of deep learning and artificial intelligence, which today is capable of some truly imp

  3. 所属分类：机器学习

    • 发布日期：2018-12-22
    • 文件大小：160432128
    • 提供者：weixin_44213204

  1. A Most Elegant Equation: Euler’s Formula and the Beauty of Mathematics

  2. An award-winning science writer introduces us to mathematics using the extraordinary equation that unites five of mathematics most important numbersBertrand Russell wrote that mathematics can exalt "as surely as poetry." This is especially true of

  3. 所属分类：专业指导

    • 发布日期：2019-04-13
    • 文件大小：4194304
    • 提供者：weixin_43774062

  1. A Pi-Calculus based Context-Aware Model for Web Service Composition

  2. A Pi-Calculus based Context-Aware Model for Web Service Composition

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：328704
    • 提供者：weixin_38602189

  1. Modeling and analysis of WTLS handshake protocol based on applied Pi calculus

  2. Modeling and analysis of WTLS handshake protocol based on applied Pi calculus

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：173056
    • 提供者：weixin_38610052