资源列表
NuSMV-2.4.3.tar.gz
- NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。,NuSMV-2.4.3 a model checking tool
linux
- linux复习.doc，相当全的linux考前复习资料，已经总结好了，全部都是考试重点-Linux review . Doc, a full Linux exam review materials, has a good summary, all test key
6_Rsa
- rsa代码，密码学学习必须掌握的算法。很全的代码。-rsa code, cryptography algorithm to learn to master. Is all the code.
wondowshj32hbyy
- 80X86汇编语言程序设计教程_102780 X86汇编语言程序设计教程_1027-80X86 Assembly Language Programming Guide _102780 X86 Assembly Language Programming Guide _102780 X86 Assembly Language Programming Guide _1027
multisim
- multisim电路仿真实验，包括功率放大器，单管放大电路，差分放大电路-multisim circuit simulation, including the power amplifier, single-tube amplifier, differential amplifier
Essential_Linux_Device_Drivers
- linux驱动三版很经典，但是面对现在的硬件设计的飞速发展，已经快跟不上脚步了，这本书完全是对现在正在使用的设备的驱动的和好的详细的讲解。-linux version of a classic three drives, but the face of the present rapid development of hardware design, is almost can not keep pace, this book is a total equipment now being use
Essential_Linux_Device_Drivers
- Thsi is the file about linux device driver programming in linux.
Essential_Linux_Device_Drivers
- 這是一本在講解linux 驅動程式的書籍 包含 MTD Video serial 等驅動程式-This is a linux driver in the brief book contains MTD Video serial driver, etc.
eldd
- 驱动开发经典书籍，电子书好东东大家分享不可多得-err
simpleOCR
- 简单通用的OCR软件，借助MS技术，希望对初学者有所帮助。-Simple common OCR software, with MS technology, hoping to help beginners.
No-OS
- s5pv210 裸机开发程序，内含多个裸机例程，方便新手学习。-S5pv210 bare-metal development program, containing multiple bare-metal routines, convenient for the novice to learn.
Linux编译链接装载
- 一个关于Linux下C语言程序从编译到运行的详细过程，包括预处理、处理、汇编、链接、装载过程。(A detailed process for the process from compiling to running under Linux, including preprocessing, processing, assembly, linking, and loading.)