《程序设计语言——实践之路》-扫描版，这是讲解程序设计语言的工作原理和技术！！！

程序设计语言--实践之路，英文pdf文字版，文字版本，很不错

这是1995年由国家质检总局执行的有关C语言的国家标准，官方正式名称为《GB/T 15272-1994 C程序设计语言》，其实此标准就是西安电子科技大学的几位专家翻译国际标准组织的当时所使用的《ISO/IEC 9899 1990》(即常说的C89或C90)，对现今新的《ISO/IEC 9899 1999》(即常说的C99)而言还有许多编译器还不能很好的支持，而对于C89来说所有的编译器基本上都支持，包括我们在学习中常用的TurboC、Visual C++ 6.0、GCC等；而且对于C89来说，现今大多数C语言教程都还使用C89的标准，比如我们大学中常用的谭浩强的《C程序设计(第三版)》，还有被尊为C语言圣经的K&R的《C程序设计语言(第2版)》(The C Programming language)，还有《C和指针》(Pointers On C)，《C专家编程》(Expert C Programming)全都依据C89标准编写，足以证明此标准的重要性了！！！ 此文件格式为pdf文档，是使用原版纸质文件高清扫描的，本人特意为其增加了pdf目录以便大家使用！！

Java程序设计语言-第4版，Java学习资料免费下载（持续更新ing），资料目录：http://blog.csdn.net/u010887744/article/details/54730763

程序设计语言 实践之路 中文版 程序设计语言 实践之路 中文版

《C++程序设计语言(特别版·十周年中文纪念版)》是在C++语言和程序设计领域具有深远影响、畅销不衰的著作，由C++语言的设计者编写，对C++语言进行了最全面、最权威的论述，覆盖标准C++以及由C++所支持的关键性编程技术和设计技术。《C++程序设计语言(特别版·十周年中文纪念版)》英文原版一经面世，即引起业内人士的高度评价和热烈欢迎，先后被翻译成德、希、匈、西、荷、法、日、俄、中、韩等近20种语言，数以百万计的程序员从中获益，是无可取代的C++经典力作。

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员和开发人员，以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生、研究生的学习教材。 第1章 引论 1 1.1 计算机科学中的类型 1 1.2 类型系统的优点 3 1.3 类型系统和语言设计 6 1.4 历史概要 6 1.5 相关阅读 7 第2章 数学基础 9 2.1 集合、关系和函数 9 2.2 有序集合 10 2.3 序列 11 2.4 归纳 11 2.5 背景知识阅读 12 第一部分 无类型系统 13 第3章 无类型算术表达式 14 3.1 导论 14 3.2 语法 15 3.3 对项的归纳 17 3.4 语义形式 20 3.5 求值 21 3.6 注释 27 第4章 算术表达式的一个ML实现 28 4.1 语法 28 4.2 求值 29 4.3 其余部分 31 第5章 无类型lambda演算 32 5.1 基础 32 5.2 lambda演算中的程序设计 36 5.3 形式性 43 5.4 注释 46 第6章 项的无名称表示 48 6.1 项和上下文 48 6.2 移位和代换 50 6.3 求值 51 第7章 lambda演算的一个ML实现 53 7.1 项和上下文 53 7.2 移位和代换 54 7.3 求值 55 7.4 注释 56 第二部分 简单类型 57 第8章 类型算术表达式 58 8.1 类型 58 8.2 类型关系 59 8.3 安全性=进展＋保持 61 第9章 简单类型的lambda演算 64 9.1 函数类型 64 9.2 类型关系 65 9.3 类型的性质 67 9.4 Curry-Howard对应 70 9.5 抹除和类型性 71 9.6 Curry形式和Church形式 72 9.7 注释 72 第10章 简单类型的ML实现 73 10.1 上下文 73 10.3 类型检查 74 10.2 项和类型 74 第11章 简单扩展 76 11.1 基本类型 76 11.2 单位类型 77 11.3 导出形式：序列和通配符 77 11.4 归属 79 11.5 let绑定 80 11.6 序对 81 11.7 元组 83 11.8 记录 84 11.9 和 86 11.10 变式 88 11.11 一般递归 93 11.12 列表 95 第12章 规范化 97 12.1 简单类型的规范化 97 12.2 注释 99 第13章 引用 100 13.1 引言 100 13.2 类型化 104 13.3 求值 104 13.4 存储类型 106 13.5 安全性 108 13.6 注释 111 第14章 异常 112 14.1 提升异常 112 14.2 处理异常 113 14.3 带值的异常 114 第三部分 子类型化 119 第15章 子类型 120 15.1 包含 120 15.2 子类型关系 121 15.3 子类型化和类型化的性质 125 15.4 Top类型和Bottom类型 128 15.5 子类型化及其他特征 129 15.6 子类型化的强制语义 134 15.7 交叉类型和联合类型 138 15.8 注释 139 第16章 子类型的元理论 140 16.1 算法子类型化 141 16.2 算法类型化 143 16.3 合类型和交类型 146 16.4 算法类型化和Bottom类型 148 第17章 子类型化的ML语言实现 149 17.1 语法 149 17.2 子类型化 149 17.3 类型化 150 第18章 实例分析：命令式对象 152 18.1 什么是面向对象编程 152 18.2 对象 153 18.3 对象生成器 154 18.4 子类型化 155 18.5 聚集实例变量 155 18.6 简单类 15

C++程序设计语言(中文版)].pdf )

提供的是书中的源代码，非课后练习源代码。 本版本是高清版，是第1版第18次印刷，是书签最全最好的版本。 基本信息 原书名： The C++ Programming Language, Special Edition 原出版社： Addison Wesley 作者： （美）Bjarne Stroustrup 译者： 裘宗燕 丛书名： 计算机科学丛书 出版社：机械工业出版社 ISBN：7111102029 上架时间：2002-7-12 出版日期：2002 年7月 页码：936 版次：1-1 内容简介 　　 本书介绍了标准c++以及由c++所支持的关键性编程技术和设计技术。标准c++较以前的版本功能更强大，其中许多新的语言特性，如名字空间、异常、模板、运行时类型声明等使得新技术得以直接应用。本书围绕语言及库功能来组织，内容涉及c++的主要特征及标准库，并通过系统软件领域中的实例解释说明一些关键性的概念与技术。 本书的目的就是帮助读者了解c++是如何支持编程技术的，使读者能从中获得新的理解，从而成为一名优秀的编程人员和设计人员。适合做高校面向对象编程课程的教科书，也可作为c++爱好者的参考书。 [center] [a href=http://www.china-pub.com/main/sale/c++tb.htm target=_blank]c++之父bjarne stroustrup博士专访[/a] 　　 [a href="http://www.is.pku.edu.cn/~qzy/cpp.htm" target="_blank"]《c++程序设计语言》程序的更正和更新[/a] 　　 [a href="http://www.china-pub.com/temporary/list/cooperate/zipdownload/zg.zip" target="_blank"]本书忠告[/a] [/center] 作译者 作者: Bjarne Stroustrup Bjarne Stroustrup现任AT＆T实验室的大型程序设计研究部的主管。1990年，Bjarne荣获《财富》杂志评选的“美国12位最年轻的科学家”称号。1993年，由于在C++领域的重大贡献，Bjarne获得了ACM该年度的 Grace Murray Hopper大奖并成为ACM院士（成立于1947年的ACM协会是历史最悠久、目前世界上最大的教育和科学计算协会，成为ACM院士是个人成就的里程碑）。1995年，BYTE杂志颁予他“近20年来计算机工业最具影响力的20人”的称号。 [同作者作品] C++ 程序设计语言（特别版）（英文影印版） C++语言的设计和演化[按需印刷] C++程序设计语言（特别版） 译者: 裘宗燕 知名译者，翻译严谨，喜与读者交流。 　　裘宗燕教授是北京大学数学学院信息科学系的，关心的主要学术领域包括计算机软件理论、程序设计方法学、程序设计语言和符号计算。已出版多部著作和译著，包括《程序设计语言基础》（译著，1990），《Mathematica数学软件系统的应用与程序设计》（1994），《从问题到程序——程序设计与C语言引论》（1999） [同作者作品] 计算机基础教程（上下）（文科类）（裘宗燕等） 数据结构——C++与面向对象的途径 数据结构--C++与面向对象的途径(修订版) 目录 出版者的话 专家指导委员会 中文版序 译者序 序 第2版序 第1版序 导 论 第1章 致读者 3 1.1 本书的结构 3 1.1.1 例子和参考 4 1.1.2 练习 5 1.1.3 有关实现的注记 5 1.2 学习c++ 6 1.3 c++ 的设计 7 1.3.1 效率和结构 8 1.3.2 哲学注记 9 1.4 历史注记 9 1.5 c++ 的使用 11 1.6 c和c++ 12 .1.6.1 给c程序员的建议 13 1.6.2 给c++程序员的建议 13 1.7 有关在c++里编程的思考 14 1.8 忠告 15 1.9 参考文献 16 第2章 c++概览 19 2.1 为什么是c++ 19 2.2 程序设计范型 19 2.3 过程式程序设计 20 2.3.1 变量和算术 21 2.3.2 检测和循环 22 2.3.3 指针和数组 23 2.4 模块程序设计 23 2.4.1 分别编译 24 2.4.2 异常处理 25 2.5 数据抽象 26 2.5.1 定义类型的模块 27 2.5.2 用户定义类型 28 2.5.3 具体类型 29 2.5.4 抽象类型 31 2.5.5 虚函数 33 2.6 面向对象的程序设计 33

C程序设计语言 资源帖 学习入门必备 亲测可用