The Lambda Calculus Its Syntax and Semantics 2nd

Lambda演算解释器 Lambda演算解释器,CS 4110研究的应用

Lambda微积分是一种简单的计算模型,唯一的数据类型是带有一个参数并返回一个结果的函数。 尽管它很简单,但是它是图灵完备的。 有关它的更多信息,请参见, 或许多其他来源。 这是一个用于实验lambd

加州理工学院的教授编写的微积分教材(被麻省理工学院数学系作为教材适用)

加州理工学院的教授编写的教材(被麻省理工学院数学系作为教材使用)

python数据分析2nd文档笔记加书中代码 书是第二版的书 并且有笔记和代码 文档 讲解清楚

学习openglshaderlanguage非常好的书籍。。。

Bitter_LabView-Advanced+Programming+Techniques+2nd+ed国外大牛写的LabView书籍高清pdf亲自验证国内尚没有纸质版本比起国内那些教材好的不知道

1. 介绍 2. 天线匹配 3. 手机外部天线 4. 手机内部天线 5. 天线测量 6. 天线工程师准则

PuTTY_Telnet_SSH_客户端汉化版2nd

With an up–to–date view of the results of UML semantics and the practical applications of semantics