预订酒店

这是关于模型检测方面的经典入门书，介绍了模型检测产生的背景，发展过程，看完此书，肯定对模型检测有比较深刻的认识。-This is the model testing on the classic primer on the model checking the background, development process, after reading this book, certainly compared to the model checking has a deep understanding.

网站项目管理规范指南-site project management norms Guide

某公司的程序设计问题，有兴趣的同学可以拿来练练啊！-VC++ found Jobs！easy！

基于DDS的信号发生器的设计与开发 The Design and Development of Function Generator Based on DDS -DDS signal generator based on the design and development of The Design and Development of Function Generator Based on DDS

at89c51电子时钟电路 -at89c51 electronic clock circuit at89c51 electronic clock circuit

一个开关配置是可以显示实时IP，我们可以用它来代理的改变，可以用它来更改代理按，因为我们给它最好用聪明的人就可以在任何使用都在笔记本电脑桌面服务器等只是把你的软件IP和任何你想要的，享受代理。

图论导引教程-graph theory Seeker Guide

介绍了项目规划的目的、流程、项目规划书、建议等等。-Introduced the purpose of project planning, process, project planning, proposals and so on.

Linux与Solairs相互移植的基本方法和技巧。包括Sun官方的pdf文档和网友的精心整理。-Linux and mutual Solairs transplantation basic techniques and skills. Including Sun

Hi3150 latest kernels