This is my assignment for my tutor s Class. A nd many problems exist, so you sho...

Distributed computing with hierarchical master-worker paradi.pdf

这是关于模型检测方面的经典入门书，介绍了模型检测产生的背景，发展过程，看完此书，肯定对模型检测有比较深刻的认识。-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.

Used to check travel info

Protel99se-TO-PowerPCB安装方法： 以安装到C:ddb2PCB为例进行说明. 将解压后将ddb2pcb整个目录copy到c:运行ddb2pcb.exe即可。-Installation Method: to install to C: ddb2PCB described as an example. Decompress after the ddb2pcb the entire catalog copy to c: run ddb2pcb.exe can.

EM78系列单片机C语言全教程,欢迎下载.-EM78 Series Singlechip C Language Tutorial wide are welcome to download.

基于VB的高铁订票管理系统设计  随着高铁旅客人数的不断攀升以及电子商务的飞速发展，针对解决旅客购票难而进行的高效订购票系统建设已成为高速铁路运营企业的紧迫工作，本系统特针对这一实际需求开发。  本系统中，具备准确快捷的高铁信息查询和方便简单的订票操作，系统要为旅客提供准确高铁信息和当前客票状况，服务器端要能够及时添加、修改班次信息，对旅客信息进行录入和删除等。本系统要满足：      1.  客户端要能够有方便的查询系统，简单明了的订票、退票操作等      2.  防止旅客重复订、退票操作，影响系统数据的正确性      3.  服务器端提供信息完全可靠，时效性强，安全可靠

在VC++ 下基于GDAL库完成了影像拼接的功能，根据图像的地理位置进行拼接，对于重叠去的处理，就是后面处理的图像会覆盖前面处理的图像，计算所有的输入文件的空间范围的并集，然后根据图像的分辨率，计算结果图像的大小投影等信息，这个函数里面其实可以直接进行投影转换，等一系列的坐标转换处理，程序可以运行。

详细设计说明书，您可以参照这个，写出详细设计说明书-this is about document

修改MBR从硬盘启动linux0.11 -Modify MBR from the hard disk to start linux0.11

应用背景源是MP3转换，可以用于任何平台关键技术它是用C++写的，可以直接使用。平台独立，可用于窗口、网络等