想学编译原理的同学们，请到这里下载，很经典的一部编译原理学习资料，是陈火旺院士参与编著的。

张昱老师 程序设计语言理论 非专业人士慎重下载，课程很难，请不要给“差”的评论 抽象的一门课程

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员和开发人员，以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生、研究生的学习教材。

类型和程序设计语言(pierce).pdf类型和程序设计语言(pierce).pdf

Java程序设计语言（第4版）(包括Java之父在内的三位顶级专家撰写)

《Java程序设计语言,第四版》(chm) 下载 《The Java Programming Language》Java程序设计语言第四版，英文chm版 电子书下载，这本书也不用多介绍了，JAVA的爸爸写的经典JAVA入门学习书籍值得一看的电子书《Java程序设计语言英文第四版》。

程序设计语言实践之路PDF扫描版程序设计语言实践之路PDF扫描版程序设计语言实践之路PDF扫描版程序设计语言实践之路PDF扫描版

《MATLAB程序设计语言》【西电的教材】【pdf电子书】楼顺天 等

AADL结构分析与设计语言导论，不可多得的中文文档，虽然翻译的不太好，凑合着看吧

AADL介绍手册，介绍了AADL的基本概念和使用方法，用户通过阅读这个手册，可以对AADL有一个基本的掌握。