保龄球的计分规则，用C语言编的，找的好费劲

这是关于模型检测方面的经典入门书，介绍了模型检测产生的背景，发展过程，看完此书，肯定对模型检测有比较深刻的认识。-This is the model testing on the classic primer on the model checking the background, development process, after reading this book, certainly compared to the model checking has a deep understanding.

PID program for fix-point DSP

ArcSDE是arcgis体系中的重要组成部分，本教程非常适用于初学者使用，欢迎大家来下载．-arcgis ArcSDE system is an important component part, The Guide is very suitable for beginners, to welcome you to download.

银行账户1.0

关于数据销毁，目前关于LINUX下的数据销毁很少-On data destruction, under the current data on the destruction of small LINUX

迄今为止已重印了12 次的《编程之道》，自问世以来，受到来自各方面的好评。-So far has been reprinted 12 times the

DSP55系列TLV320AIC23PW芯片的英文手册，主要应用与音频的设计时应用该款芯片的说明。-DSP55 series TLV320AIC23PW chip in English, major applications and the design of the audio application of the chip description.

中国移动二级经营分析系统数据源规划(讨论稿).pdf-2 Analysis of China Mobile operating system data source planning (discussion paper). Pdf

dBrowser 是针对 web/数据库应用程序开发人员的 PHP/MySQL/PostgreSQL 框架/代码生成器。

孙鑫VC课堂教学笔记,经过精选的编程代码! 非常难得!-SUN Xin VC classroom notes, after a selection of programming code! Very rare!