Explains how to distinguish between antique and reproduction, negotiate with dealers, buy at auction, bid online, and determine the value of collectibles.

These papers on tools and algorithms for the construction and analysis systems focus on such areas as refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, and temporal and modal logics.

Dr Welch has written a detailed history of the board and its predecessor, the Local Lectures Syndicate, based primarily on the archive material at Stuart House, Cambridge.

Presenting 20 revised papers and five tool demonstrations, this proceedings volume is organized into sections on space-reduction techniques, tool demonstrationgs, logical techniques, verification support, specification and analysis, theorem proving, model checking and applications.

The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications. The author is one of the leading authorities on Petri nets and a member of the steering committee for the International Conference on Application and Theory of Petri Nets.

SpamAssassin (SA), the leading open source spam-fighting tool, is free, flexible, powerful, highly-regarded, and remarkably effective. Until now, it was SpamAssassin lacked published documentation. This clear, concise new guide provides the expertise you need to take back your inbox.

Does the thought of baking a cake conjure up a nightmare vision of a 15--ft layer cake, scrolled and fluted with decorations fit for a king? If the word dessert just throws you into a cold sweat, the inside scoop on desserts is: they're actually simple to make. And with the right help. well, just a piece of cake.