计算机教学文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：117.5KB　文档页数：11

上海交通大学：《编译原理》教学资源_教学资料_第五周讲义_Type Checking

文档格式：PDF　文档大小：180.32KB　文档页数：6

上海交通大学：《编译原理》教学资源_教学资料_第二周讲义_lex

文档格式：PDF　文档大小：76.62KB　文档页数：28

上海交通大学：《编译原理》教学资源_教学资料_第二周讲义_Syntax Analyzer

文档格式：PDF　文档大小：3.59MB　文档页数：35

《设计模式》教学资源（讲稿）第10章适配器模式

文档格式：PDF　文档大小：188.64KB　文档页数：46

上海交通大学：《编译原理》教学资源_教学资料_第二周讲义_Lexical Analyzer

文档格式：PPT　文档大小：352KB　文档页数：40

《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination

文档格式：PPT　文档大小：731KB　文档页数：28

《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Assembly Code with Stack-Based Control Abstractions

文档格式：PPT　文档大小：414.5KB　文档页数：28

《计算机科学》相关教学资源（PPT课件讲稿）An Open Framework for Foundational Proof-Carrying Code

文档格式：PPT　文档大小：585.5KB　文档页数：21

《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads

文档格式：PPT　文档大小：496.5KB　文档页数：40

《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning