Modal Logic

Modal Logic very useful book

Java数据结构和算法中文第二版

Java数据结构和算法中文第二版，这个版本比较好

计算复杂性理论参考资料

计算复杂性理论参考资料（英文，169页）：Computation Complexity, by Laszlo Lovasz

好书 分布式计算EJB3.0入门经典

分布式计算，EJB3.0入门经典-weblogic.pdf，非常详细了

SOA 培训资料 对理解有用

SOA 培训资料 对理解有用 特别是SOA governance

偏好逻辑资料，一篇有用的资料

十分有用，对于提高自己的水平。 十分有用，对于提高自己的理解能力。

java_技术参考汇集_超值大礼包

java_技术参考汇集_超值大礼包,Eclipse入门-- Eclipse的使用简介及插件开发

计算机算法设计与分析4

学习要点 理解贪心算法的概念。 掌握贪心算法的基本要素 （1）最优子结构性质 （2）贪心选择性质 理解贪心算法与动态规划算法的差异 理解贪心算法的一般理论 通过应用范例学习贪心设计策略。 （1）活动安排问题； （2）最优装载问题； （3）哈夫曼编码； （4）单源最短路径； （5）最小生成树； （6）多机调度问题。

计算机算法设计与分析3

学习要点: 理解动态规划算法的概念。 掌握动态规划算法的基本要素 （1）最优子结构性质 （2）重叠子问题性质 掌握设计动态规划算法的步骤。 (1)找出最优解的性质，并刻划其结构特征。 (2)递归地定义最优值。 (3)以自底向上的方式计算出最优值。 (4)根据计算最优值时得到的信息，构造最优解

计算机算法设计与分析2

计算机算法设计与分析2 第2章 递归与分治策略 学习要点: 理解递归的概念。 掌握设计有效算法的分治策略。 通过下面的范例学习分治策略设计技巧。 （1）二分搜索技术； （2）大整数乘法； （3）Strassen矩阵乘法； （4）棋盘覆盖； （5）合并排序和快速排序； （6）线性时间选择； （7）最接近点对问题； （8）循环赛日程表。