BSIM4 Manual

形式化分析工具，可以帮助我们在构建了认证协议后给出我们方案的安全性证明。

Usingas--ThegnuAssembler(GNUBinutils)Version2.19.1Thismanualisauserguidetothegnuassembleras.

Ant帮助手册（英文版本的啊）

MongoDBDocumentationMongoDBmanualMongoDB文档手册离线版

Castalia是一个基于Omnet++平台的无线传感器网络仿真器，可以用于研究人员和开发人员高测试分布式算法或协议，在现实无线信道和广播模型中使用现实的节点行为，尤其是与广播访问相关的。Castal

这是从flightgear官方网站下载的手册，包括了从入手到动力学模型设计一系列飞行模拟的内容，是学习flightgear的好帮手。

JThread的功能和使用描述，可以对SIP的应用有很大在、帮助。

gdbmanual,英文版，需要的不要错过哦

SMEmanual:Polychrony/SMEusermanual.SIGNALisasynchronouslanguage,whichisusedinthefieldsofreal-timeand

gcc手册，告诉你如何使用GCC，适合linux下的初学用户哦