转载
文章平均质量分 77
聆心雨落
高级web前端开发
展开
-
查找算法总结
http://blog.csdn.net/myjava_024/article/details/3342554 http://blog.sina.com.cn/s/blog_616b83cd0100esjz.html转载 2011-09-21 22:19:07 · 401 阅读 · 0 评论 -
三种形式化语言和方法
VDM --VDM是在1969年为开发PL/1语言时,由IBM公司维也纳实验室的研究小组提出的,VDM是一种功能构造性规格说明技术,它通过一阶谓词逻辑和已建立的抽象数据类型来描述每个运算或函数的功能,这种方法在90年代初在欧美许多研究机构或大学得到了广泛的应用。 VDM技术的基本思想是运用抽象数据类型、数学概念和符号来规定运算或函数的功能,而且这种规定的过程是结构化的,其目的是要在转载 2010-03-26 13:10:00 · 12005 阅读 · 0 评论 -
九月腾讯,创新工场,淘宝等公司最新面试十三题(更新至10.04)
转自 http://blog.csdn.net/v_JULY_v/article/details/6803368#comments还是看原文,看评论。 九月腾讯,创新工场,淘宝等公司最新面试十三题 最新面试十三题 五只猴子分桃。半夜,第一只猴转载 2011-10-05 10:47:54 · 1011 阅读 · 1 评论 -
评微软等公司数据结构和算法面试100题
转自 :http://blog.csdn.net/v_july_v/article/details/6015165 [推荐] [整理]算法面试:精选微软经典的算法面试100题[前60题](帖子已结) 10.23http://topic.csdn.net/u/20转载 2011-10-05 10:49:54 · 748 阅读 · 0 评论