CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 搜索资源 - an introduction to formal

搜索资源列表

  1. RFC4443-ICMPv6(2006)

    0下载:
  2. 本备忘录的状态 本文档讲述了一种Internet社区的Internet标准跟踪协议,它需要进一步进行讨论和建议以得到改进。请参考最新版的“Internet正式协议标准”(STD1)来获得本协议的标准化程度和状态。本备忘录的发布不受任何限制。 摘要 本文档描述了对于IPv6的路径MTU探索。它很大程度上是从RFC1191(描述了对于IPv4的路径MTU探索)发展而来的。 目 录 摘 要 1 1 引言 2 2 术语 2 3 协议概述 3 4 协议需求 4 5
  3. 所属分类:其它

    • 发布日期:2008-10-13
    • 文件大小:9966
    • 提供者:jjj
  1. Chapter2_Solution_program

    0下载:
  2. An Introduction to Formal Languages and Automata 3Ed Peter Linz - SOLUTIONS-An Introduction to Formal Languages and Automata 3Ed Peter Linz- SOLUTIONS
  3. 所属分类:File Formats

    • 发布日期:2017-04-06
    • 文件大小:2005
    • 提供者:蕭仲甫
  1. Compiler-theory

    0下载:
  2. 编译原理 第1章绪论 第2章数据类型 第3章控制结构 第4章程序语言的设计 第5章非过程式程序设计语言 第6章形式语义学简介 第7章编译概述 第8章词法分析 第9章自上而下的语法分析 第10章自下而上的语法分析 第11章语义分析和中间代码生成 第12章代码优化和目标代码生成 第13章运行时存储空间的组织 -Compiler theory Chapter 1 Introduction Chapter 2 data types C
  3. 所属分类:Compiler program

    • 发布日期:2017-04-01
    • 文件大小:773776
    • 提供者:王兵
搜珍网 www.dssz.com