Petri网分析工具

如题，Petri网分析工具，可模拟Petri网的运行

计算理论基础英文版电子书

计算理论基础英文版电子书，挺老的一本书，但是非常经典，英文扫描版

VCamSDK_v3.1_虚拟摄像头API

VCam SDK is a SDK of e2eSoft VCam software, which allows you to use virtual camera function in your application. 此为API，内含一个C++一个C#的示例程序

拖把更名器

顶级批量文件更名和整理音乐文件标签 - 基本的转换、添加、删除、替换、加序等更名操作 - 文件名繁简互换、内码互换 - 利用文本文件更名 - 支持目录、子目录及其文件、快捷方式等更名操作 - 根据音乐文件中的标签进行更名，支持 MP3/APE/WMA/RM/RMVB/RA/ASF/WMV/OGG 格式 - 文件名汉字转拼音 - 支持自动预览 - 支持通配符 - 支持正则表达式 - 支持元变量 - 支持拖放操作 - 支持撤消 - 支持多语言 - 操作记录顺序化 - 支持操作记录的保存和导入 - 表达式方式写入标签 - 音乐文件标签中的繁简互换、内码互换 - 把音乐文件标签导出到文本文件 - 音乐文件标签批量移除 - ID3v1 与 ID3v2 互相拷贝 - 更改文件日期 - CRC32 更名 - 根据文本文件内容写入标签 - 与资源管理器集成

VisualStudio版本转换工具

VisualStudio版本转换工具，需要.NET环境，可互转10及以下版本的VS项目

Cygwin在线安装程序

cygwin是一个在windows平台上运行的unix模拟环境。它对于学习unix/linux操作环境，或者从unix到windows的应用程序移植，或者进行某些特殊的开发工作，尤其是使用gnu工具集在windows上进行嵌入式系统开发，非常有用。

Lucene_API_3.0.0

Lucene 3.0.0 API （英文版） Apache Lucene is a high-performance, full-featured text search engine library.

JAVA中文API

JavaTM 2 Platform Standard Edition 6 API 规范

apache-tomcat-7.0.2-fulldocs

Tomcat是Apache 软件基金会（Apache Software Foundation）的Jakarta 项目中的一个核心项目，由Apache、Sun 和其他一些公司及个人共同开发而成。 此为使用文档

Apache tomcat 7.0.2

Tomcat是Apache 软件基金会（Apache Software Foundation）的Jakarta 项目中的一个核心项目，由Apache、Sun 和其他一些公司及个人共同开发而成。由于有了Sun 的参与和支持，最新的Servlet 和JSP 规范总是能在Tomcat 中得到体现，Tomcat 5 支持最新的Servlet 2.4 和JSP 2.0 规范。因为Tomcat 技术先进、性能稳定，而且免费，因而深受Java 爱好者的喜爱并得到了部分软件开发商的认可，成为目前比较流行的Web 应用服务器。