没有合适的资源？快使用搜索试试~ 我知道了~

文库首页开发技术其它The Lambda Calculus Its Syntax and Semantics 2nd pdf

The Lambda Calculus Its Syntax and Semantics 2nd pdf

Lambda

需积分: 29 69 下载量 9 浏览量 2018-05-10 02:30:06 上传评论收藏 12.74MB PDF 举报

温馨提示

这是一本讲述了Lambda Calculus的书，而且其内容讲的十分透彻，只是很厚，希望大家努力

资源推荐

资源评论

The Lambda Calculus Its Syntax and Semantics 2nd

5星 · 资源好评率100%

lambda的书

格式：pdf 资源大小：12.7MB 页数：127

Lambda Calculus its Syntax and Semantics.djvu

格式：djvu 资源大小：5.0MB

Calculus With Applications 2ed peter lax

Calculus With Applications 2ed peter lax

格式：pdf 资源大小：6.9MB 页数：509

The Lambda Calculus (Stanford Encyclopedia of Philosophy).pdf

The Lambda Calculus (Stanford Encyclopedia of Philosophy)

格式：pdf 资源大小：344.3KB 页数：26

lambda calculus

Lambda学习，不错的资料参考 ...The λ-calculus was begun at Princeton, and the purpose of this report is to show how it has been recycled every decade after the 1930s in new and useful ways.

格式：pdf 资源大小：1.1MB 页数：33

ASU 2016 CSE340 syllabus

7. **λ演算**（Lambda Calculus） - 探索函数式编程的基础理论，了解如何基于λ演算来定义计算模型。 ### 五、重要日期 #### 考试安排： - **考试 1**：6 月 1 日 - **考试 2**：6 月 15 日 - **期末考试**：6 ...

格式：pdf 资源大小：120.7KB 页数：5

Types and Programming Languages

Types and Programming Languages

格式：pdf 资源大小：2.2MB 页数：127

Qt 5实现串口调试助手（源工程文件、0积分下载）

5星 · 资源好评率100%

基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。

AutoSAR标准协议4.2.2

5星 · 资源好评率100%

AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义

格式：zip 资源大小：131.5MB

光伏-储能并网系统仿真.rar

5星 · 资源好评率100%

该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！

格式：rar 资源大小：2.1MB

XCP协议的规范文档

5星 · 资源好评率100%

XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义

格式：zip 资源大小：1.5MB

GD32替换STM32注意事项.pdf

格式：pdf 资源大小：339.1KB 页数：11

蓝牙BLE协议中文版.pdf

蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致

格式：pdf 资源大小：8.8MB 页数：118

NPPJSONViewer.zip

4星 · 用户满意度95%

NodePad++ JSON格式化插件

格式：zip 资源大小：35.9KB

电路分析基础第二版PDF电子书免费下载

5星 · 资源好评率100%

《21世纪高等院校信息与通信工程规划教材：电路分析基础（第2版）》以电路理论的经典内容为核心，以提高学生的电路理论水平和分析解决问题的能力为出发点，以培养“厚基础、宽口径、会设计、可操作、能发展”，具有创新精神和实践能力人才为目的。《21世纪高等院校信息与通信工程规划教材：电路分析基础（第2版）》较全面地阐述了电路的基本理论，并适当引入电路新技术。内容遵从先易后难，由浅入深，循序渐进的原则。主要包

格式：pdf 资源大小：17.2MB 页数：332

qt样式表一键生成（花狗Fdog）

5星 · 资源好评率100%

QT样式表一键生成，避免了无穷无尽的百度搜索，一来方便学习，所以参数都写在左下角，方便了解到使用了什么生成了什么，二来不用重复造轮子，调节后，可直接将左下角生成的QSS代码复制到qt的样式表里面即可显示效果。

格式：7z 资源大小：14.3MB

CANoe通过CAPL脚本实现自动测试

现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。

格式：zip 资源大小：2.5KB

Tangent免费.rar

OriginLab也可以安装Tangent 插件免费下载请点赞

格式：rar 资源大小：210.7KB

CMSIS-DAP使用说明及驱动.rar

仿真器，含有详细的教程，驱动，使用方法等等，keil和IAR安装及支持CMSIS-DAP工具，CoFlash及Hex2bin工具包，DAP仿真器下载程序说明等等

格式：rar 资源大小：252.2MB

VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi

3星 · 编辑精心推荐

vs2015.iso包安装，不然会卡在安装包丢失或损坏

格式：zip 资源大小：5.0MB

Elsevier期刊word模板.zip

各种模板，单双

格式：zip 资源大小：14.8MB

BaiduOCR.zip

5星 · 资源好评率100%

按键精灵百度文字识别自定义库使用说明参考：https://blog.csdn.net/sinat_22215253/article/details/118272746

格式：zip 资源大小：1.5KB

电气类的visio模版元件库

电气类的visio模版元件库

格式：zip 资源大小：3.0MB

软件需求规格说明书模板(超详细).doc

软件需求规格说明书模板(超详细)，参考书籍 1. 《软件工程基础》赵一丁北京邮电大学出版社 2. 《软件需求》劳森 (作者), 刘晓晖 (译者) 电子工业出版社 3. 《软件需求工程：原理和方法》金芝，刘璘，金英科学出版社 4. 《实用软件工程》第三版殷人昆清华大学出版社 5. 《电子政务发展需求与效益分析》朱建明经济科学出版社 6. 《电子政务信息系统的

格式：doc 资源大小：1.3MB 页数：27

rpa拆包工具（小白适用）

内含rpa拆包工具、操作说明，适用于非专业人士

格式：zip 资源大小：8.2KB

数字设计和计算机体系结构第二版奇数答案.pdf.zip

5星 · 资源好评率100%

数字设计和计算机体系结构第二版奇数答案

格式：zip 资源大小：649.0KB

EPLAN部件库（正泰）

格式：edz 资源大小：548.1MB

Java反编译器设计与实现全解析

本书深入探讨了Java反编译器的设计与实现，涵盖了从基础概念到高级应用的各个方面。书中不仅介绍了编译器与反编译器的基本原理，还详细讲解了Java类文件结构、字节码指令集、常量池解析等内容。此外，本书通过多个实际案例展示了如何构建高效的反编译工具，帮助读者理解并掌握反编译技术的核心要点。无论是希望深入了解Java虚拟机内部机制的技术爱好者，还是致力于保护软件知识产权的安全专家，都能从中受益匪浅。书中

格式：pdf 资源大小：9.7MB 页数：532

Windows防火墙开启后 ping不通了开通ping

Windows防火墙 --> 高级设置 --> 入站规则 --> 找到“文件和打印机共享(回显请求 - ICMPv4-In)” --> 已启用-->允许连接--> 确定

21世纪C语言：朋克摇滚般的编程之旅

### 代码打包与版本控制全解析在软件开发过程中，代码的打包和版本控制是至关重要的环节。合理的代......

评论收藏

内容反馈

资源评论

资源反馈

评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~

Good_night_Sion_

粉丝: 46

上传资源快速赚钱

我的内容管理展开

我的资源快来上传第一个资源

我的收益

登录查看自己的收益

我的积分登录查看自己的积分

我的C币登录后查看C币余额

我的收藏

我的下载

下载帮助

前往需求广场，查看用户热搜

The Lambda Calculus Its Syntax and Semantics 2nd pdf

The Lambda Calculus Its Syntax and Semantics 2nd

Lambda Calculus its Syntax and Semantics.djvu

Calculus With Applications 2ed peter lax

The Lambda Calculus (Stanford Encyclopedia of Philosophy).pdf

lambda calculus

ASU 2016 CSE340 syllabus

Types and Programming Languages

Qt 5实现串口调试助手 （源工程文件、0积分下载）

AutoSAR标准协议4.2.2

光伏-储能并网系统仿真.rar

XCP协议的规范文档

GD32替换STM32注意事项.pdf

蓝牙BLE协议中文版.pdf

NPPJSONViewer.zip

电路分析基础第二版PDF电子书免费下载

qt样式表一键生成（花狗Fdog）

CANoe通过CAPL脚本实现自动测试

Tangent免费.rar

CMSIS-DAP使用说明及驱动.rar

VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi

Elsevier期刊word模板.zip

BaiduOCR.zip

电气类的visio模版元件库

软件需求规格说明书模板(超详细).doc

rpa拆包工具（小白适用）

数字设计和计算机体系结构第二版奇数答案.pdf.zip

EPLAN部件库（正泰）

Java反编译器设计与实现全解析

Windows防火墙开启后 ping不通了 开通ping

21世纪C语言：朋克摇滚般的编程之旅

最新资源

Qt 5实现串口调试助手（源工程文件、0积分下载）

Windows防火墙开启后 ping不通了开通ping