English
资源说明：我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust)；Formal_Correctness_of_Security_Protocols；FUNDAMENTALS OF WIRELESS COMMUNICATION；Course in Modal Logic；模态逻辑讲义
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。
-
- PrintScreen我从别处下的，可以进行屏幕的硬拷贝。我没有试，你可以下载下来试一试。 ...
- 对HANOI问题的详细程序描述！如果你有觉得有问题的地方请指教！希望能帮助你！对百鸡问题的详细程序描述！如果你有觉得有问题的地方请指教！希望能帮助你，你也知道 ...
- 皇后问题的程序描述对百鸡问题的详细程序描述！如果你有觉得有问题的地方请指教！希望能帮助你对皇后问题的详细程序描述！如果你有觉得有问题的地方请指教！希望能帮助你，你也知道 ...
- osg海军教程，其中介绍了osg的基础知识，适合初学者osg海军教程，很不错的osg学习资料！可以仔细研究一下，对于osg的学习很有帮助。 ...
- 电脑操作140技巧可供学习里面有电脑操作的许多技巧供大家查阅，欢迎大家来访！
- EVEREST Ultimate Edition很专业的电脑查看工具，EVEREST Ultimate Edition可查看电脑硬件及软件信息，并可做一 ...
- 高铁梅《计量经济分析方法与建模》PPT计量经济学必备教材课件计量经济学必备教材课件
- 面向服务的体系结构接口是采用中立的方式进行定SOA就是面向服务的体系结构（service-oriented architecture，SOA）是一个组件模型， ...
- 《财务会计教程》doc格式a里面涵盖了财务会计的各个方面，系统而不繁琐
- 电力电缆施工(李宗廷)图书目录： 第一章 电力电缆的种类和结构 第二章 电力电缆的敷设 第三章 35kV及 ...
-
- S7-PLCSIMV5.4.rar西门子仿真编程软件S7-PLCSIM V5.4，用于S7-300/400系列PLC程序的仿真 ...
- I2C.rarI2C最经典的技术文档集合，包括了总线规范、协议、设计应用。 ...
- ARM7TDMI_S(Rev4)技术参考手册.rararm7tdmi内核的技术参考资料 关于 ARM7TDMI-S 处理器 ARM7TDMI-S 结构 ARM7TDMI-S 模 ...
- linux内核源代码情景分析(上下目录全).rar经过本人加全目录的《LINUX内核源代码情景分析(浙大出版）》上下册，毛德操、胡希明著 ...
- 标准C语言实用全书_10440499.rar标准C语言实用全书，对C语言的复杂性和核心特征进行了详细的论述。 ...
- SystemView.rarSystemView系统设计及仿真入门与应用
- Tcl_train.rartcl脚本语言教程（pdf格式）。适合入门学习使用。
- smallR_TOS51_BOOK.rar本书：是陈明计先生写的SMALL RTOS51。格式为PDF。该书详细分析了RTOS51的编写过程。 ...
- 华为技术手册.rar华为工程师手册，在软硬件方面都有开发规范说明，是一份相当好的开发参考手册 ...
- Rs232串口通信大全.rar全面的介绍了串口通信的知识，通过实例介绍了如何编程实现串口通信程序 ...
