orzorz的专栏

新版Android开发教程完整版～～～～～～～～～～～～～～～～～～～～～

图解配置Apache+PHP+MySQL协同工作，搭建BBS论坛 网上的资源，感谢无名作者 虽然现在各个软件都已经有了更新版本，但这些图解同样有很大价值。 供大家分享。

编程珠玑（Programming Pearls） 第二版-- （大礼包）PDF 中文版+英文版+源码 Enjoy it！！

source insight 　　Source Insight是一个面向项目开发的程序编辑器和代码浏览器，它拥有内置的对C/C++, C#和Java等程序的分析。Source Insight能分析你的源代码并在你工作的同时动态维护它自己的符号数据库，并自动为你显示有用的上下文信息。 Source Insight不仅仅是一个强大的程序编辑器，它还能显示reference trees，class inheritance diagrams和call trees。Source Insight提供了最快速的对源代码的导航和任何程序编辑器的源信 息。 Source Insight提供了快速和革新的访问源代码和源信息的能力。与众多其它编辑器产品不同，Source Insight能在你编辑的同时分析你的源代码，为你提供实用的信息并立即进行分析。

The Spin Model Checker_Primer and Reference Manual (PDF格式)

The Spin Model Checker_Primer and Reference Manual

linux内核源代码情景分析，系统介绍linux的源代码结构与内容

介绍Fortran的基本语法～～～～～～～～～～

PHP编程100例子 以代码和对应网页显示的形式，逐例说明php中基本的语法

PHP首先是由Rasums Lerdorf创建的，它开始是一个简单的用Perl语言编写的程序，用来记录Rasums Lerdorf自己在线简历的访问者。以后当PHP/FI在1995年中期发布的时候，它已经发展成了一门语言。这时的PHP版本已经支持一些基本的web函数-可以操作数据库，支持mSQL数据库，还有更多。 　　随着PHP的迅速成长，语言的开发者也由Rasmus一人发展到一个有献身精神的程序员团队，他们负担起重写PHP的任务。经过他们的努力，推出了 PHP3.0，提供了对数据库的广泛支持，包括MySQL和Oracle。然后是几个月前刚刚发布的PHP4.0，使用新的强有力的Zend脚本引擎来实现更好的功能，支持除了Apache之外的更多的Web服务器，并且还有对session管理的内建支持。 　　推出本系列教程，我们有一个非常简单目的-我们将教你学会使用PHP开发你的站点所需要的最基本的知识和相关的网页开发技巧。在本教程中我们假设你已经对HTML语言有一定的了解，并且自己已经配置好了web服务器和PHP4，而且还有一定的幽默感。

php 教程 本手册是台湾彭武兴先生所著的 <<PHP BIBLE>> 一书的简体中文版。笔者只是对该书进行了繁简转换,并将原书中的台湾术语改为通俗的术 语,及纠正了由此带来的一些语意错误，仅供个人参考使用。未经彭武兴先生书面授权请勿用于商业目的。

In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal training that allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic and an introduction to the logical frameworks used in modeling, specifying and verifying computer systems. Coverage provides a simple and clear presentation, detailing propositional and predicate logic as well as some specialized logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology; further technicalities are introduced only where they are required by the applications. Numerous examples are given, as well as a full exposition of a fast-growing technique for modeling and verifying computer systems, known as symbolic model checking. It will be an ideal introduction for undergraduate students. A worldwide web tutorial that supports the course activities and provides solutions to the sample exercises is available to instructors.

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers. About the Authors Edmund M. Clarke, a pioneer of the automated method called Model Checking, is FORE Systems Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University, and a winner of the 2007 Turing Award given by the Association for Computing Machinery. Doron Peled is Professor of Computer Science at the University of Warwick, Coventry, UK. Endorsements "Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades." —R. P. Kurshan, Distinguished Member Technical Staff, Bell Laboratories