Model Checking经典书籍,如果做形式化验证的话属于必读系列
2021-10-12 21:47:47
5.11MB
1
外文版的一阶逻辑经典书籍(First-Order-Logic)，不可多得的好书！
2021-10-12 11:08:09
14.6MB
1
Photoshop中三十种炸天炫目高逼格字体格式(广告-书籍-印刷等)
2021-10-12 10:05:22
54.31MB
本文件夹是Windows设备驱动程序WDF开发一书附带的光盘源码。可用来参考编程，亦可用于帮助调试。譬如可利用现成的驱动程序调试你编写的应用程序，以确保你编写的应用程序没问题。再用没问题的应用程序调试你编写的驱动程序。如果不这么做，对于刚入门驱动开发的新手而言很难确定问题出在应用程序处还是驱动程序处。如需更多关于WDF驱动开发和usb设备开发的文档，可在本人csdn账号的资源栏下找。
2021-10-12 08:36:33
13.07MB
1
基于Xilinx FPGA的OFDM通信系统基带设计 书籍配套光盘，内部有本书籍所有的代码，建议阅读代码时参考上述书籍。
2021-10-11 21:07:47
12.27MB
1
python书籍包括Python3程序开发指南.第二版(带书签).pdf+Head_First_Python(中文版).pdf。
2021-10-10 21:20:39
64.32MB
1