您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 加密工具很小 很好用

  2. 今日头条 国新办网络局就谷歌退出中国内地发表谈话 CSDN今日头条 120 [秦刚:谷歌若撤出不会影响中国投资环境][微软张亚勤谈谷歌事件:成熟企业须有长远眼光] [谷歌中国否认月底退出 外交部再度表态][谷歌中国面临人才流失 遭猎头公司不断挖角] 悼念图灵奖得主、ML语言之父Robin Milner
  3. 所属分类:网络基础

    • 发布日期:2010-03-23
    • 文件大小:65536
    • 提供者:wangzhengqianw
  1. intro to ccs

  2. An Introduction to Milner’s CCS Luca Aceto Kim G. Larsen Anna Ing´olfsd´ottir BRICS, Department of Computer Science Aalborg University 9220 Aalborg Ø, Denmark
  3. 所属分类:专业指导

    • 发布日期:2010-04-05
    • 文件大小:516096
    • 提供者:franklei1987
  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. 编程之魂:与27位编程语言创始人对话 masterminds of programming

  2. 《编程之魂:与27位编程语言创始人对话》:Adin D.Falkoff:APL;Thomas E.Kurtz:BASlC;Charles H.Moore:FORTH;Robin Milner:ML. ;Donald D.Chamberlin:SQL;Alfred Aho.Peter Weinberger DBrian Kernighan:AWK;Charles Geschke和lJohn Warnock:Postscr ipt;Biarne Stroustrup:C++;Bertrand Me
  3. 所属分类:其它

    • 发布日期:2010-09-07
    • 文件大小:4194304
    • 提供者:coolzhx
  1. Masterminds of programming

  2.   Descr iption    Masterminds of Programming features exclusive interviews with the creators of several historic and highly influential programming languages. Think along with Adin D. Falkoff (APL), James Gosling (Java), Bjarne Stroustrup (C++), and
  3. 所属分类:C++

    • 发布日期:2010-12-26
    • 文件大小:4194304
    • 提供者:qazplm12_3
  1. Reactive systems

  2. 一本关于实时系统模型检测的英文原版书。 1. CCS 2. bisimulation 3. Hennessy Milner logic 4. Real-time systems
  3. 所属分类:IT管理

    • 发布日期:2011-05-12
    • 文件大小:1048576
    • 提供者:lqcobra
  1. Communication and Concurrency

  2. Communication and Concurrency. R. Milner. Prentice Hall, 1989
  3. 所属分类:教育

    • 发布日期:2011-09-17
    • 文件大小:16777216
    • 提供者:arti81
  1. NetStumbler-v0.4.0

  2. NetStumbler v0.4.0 Release Notes Marius Milner Thank you for your interest in NetStumbler. It is provided to you as a convenience, at no cost and without warranty. If you don't like it, or if you feel that it doesn't quite do what you want, you are
  3. 所属分类:网管软件

    • 发布日期:2012-05-06
    • 文件大小:1048576
    • 提供者:gcgc2000
  1. ccs: A Calculus of Communicating Systems

  2. A Calculus of Communicating Systems, Author: Robin Milner © by Springer-Verlag Berlin Heidelberg 1980
  3. 所属分类:专业指导

    • 发布日期:2012-10-23
    • 文件大小:7340032
    • 提供者:jiangdmdr
  1. Milner-多值pi演算

  2. 关于多值pi演算的权威资料,对pi演算进行了扩展,很有意义
  3. 所属分类:专业指导

    • 发布日期:2008-10-06
    • 文件大小:625664
    • 提供者:jacktao6502
  1. A Calculus of Communicating Systems[1980]

  2. A Calculus of Communicating Systems[1980] milner classic book
  3. 所属分类:其它

    • 发布日期:2014-04-18
    • 文件大小:12582912
    • 提供者:jiangdmdr
  1. Reactive Systems: Modelling, Specification and Verification

  2. reactive system 有进程并发理论,CCS系统,互模拟,Hennessy-Milner的理论
  3. 所属分类:专业指导

    • 发布日期:2014-04-30
    • 文件大小:1048576
    • 提供者:theyoungest
  1. pi-calculus

  2. Robin milner的pi演算介绍,作者是图灵奖的获得者。
  3. 所属分类:专业指导

    • 发布日期:2008-11-05
    • 文件大小:24576
    • 提供者:button1314
  1. Communication and Concurrency By Robin Milner, R. Milner

  2. 用形式化语言描述通信与并发,非常经典,用逻辑的思维分析计算机系统中的通信并发问题
  3. 所属分类:讲义

    • 发布日期:2017-12-12
    • 文件大小:16777216
    • 提供者:xh971801361
  1. A Calculus of Mobile Processes Part I and part II

  2. Milner大大的经典论文,Pi演算的完整论述。 英文,不知道是否有哪位大侠有空翻译,先表谢意。
  3. 所属分类:专业指导

    • 发布日期:2009-02-10
    • 文件大小:505856
    • 提供者:zhangkk1517
  1. 欧姆龙 G8P功率继电器产品说明书.pdf

  2. 欧姆龙 G8P功率继电器产品说明书pdf,Up to 30 A switching capacity in compact package,Available with quick-connect terminals for easy load connecting ,UL Class F coil insulation standardG8P OmROn G8P ■ CHARACTERISTIC DATA Electrical service life SPST-NO SPD No conta
  3. 所属分类:其它

    • 发布日期:2019-10-13
    • 文件大小:1048576
    • 提供者:weixin_38744207
  1. proposal-double-colon-types:Flow JS Flow语法投标。 Hindley-Milner的类型-源码

  2. proposal-double-colon-types:Flow JS Flow语法投标。 Hindley-Milner的类型
  3. 所属分类:其它

    • 发布日期:2021-01-31
    • 文件大小:3072
    • 提供者:weixin_42109178
  1. hindley-milner-ts-源码

  2. 辛德利·米尔纳茨 使用Hindley Milner的类型签名语法生成Typescr ipt类型声明。
  3. 所属分类:其它

    • 发布日期:2021-03-28
    • 文件大小:21504
    • 提供者:weixin_42115074
« 12 »