- 博客(2)
- 资源 (9)
- 收藏
- 关注
RSS订阅转载 Technical Perspective: Proving Programs Continuous
By Andreas Zeller Communications of the ACM, Vol. 55 No. 8, Page 106 10.1145/2240236.2240261 Proving a program's correctness is usually an all-or-nothing game. Either a program is correct with
2012-10-25 09:15:05
593
原创 N个数中，选取M个数
从N个数中选取M个不同的数，共有多少种选法？并将结果打印出来。 解法：采用divide-conquer方法。 f(N,M) = f(N-1,M-1) + f(N-1, M); 具体代码如下： #include #define N 100 #define M 5 int total = 0; int func(int n, int m, int *sta
2012-10-24 20:17:36
1731
Heterogeneous Computing with OpenCL 2nd Edition
Heterogeneous Computing with OpenCL 2nd Edition
2016-02-25
高级perl编程
This is the high level material of Perl, the third book you should know about perl.
2014-05-18
overview of supercompter2010
this is a evalulation of supercomputer in 2010, and it will illustrate the newer cpu technology and storage and interconnect and so on ...
2011-04-07
django的入门教材
一个翻译过来的书，讲述了django入门知识，该书在书店有售，但是需要40元，所以发个电子版，大家共享下，本来想不要分，但是需要下载东西总是需要，所以也只好要求给分了。
2009-10-27
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人