The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are introduced as fundamental and basic tools for...

Need fast, reliable, easy-to-implement solutions for Microsoft Active Directory 2008? This book delivers exactly what you’re looking for. You’ll find nearly 250 tested, step-by-step procedures for planning, installing, customizing, and managing Active Directory Domain Services (AD DS) in any production...

Plugins will soon be a thing of the past. The Definitive Guide to HTML5 Video is the first authoritative book on HTML5 Video, the new web standard that allows browsers to support audio and video elements natively. This makes it very easy for web developers to publish audio and video, integrating both within the general presentation...

The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions. The best existing foundations focus on either functions, as in the lambda-calculus, or on data structures, as in Turing machines, or on compromises involving both, as in...

These...

This is the first book on...

This essential and unique book delves into the various elements that Microsoft fixed from Vista and investigates the new features that Microsoft added in response to user requests. Veteran author John Paul Mueller shows you how to work with security policies as well as...

This is changing, and quickly. Most records...

"This fast-paced travelogue through the world of Chinese manufacturing is scary, fascinating, and very funny. Midler is not only a knowledgeable guide to the invisible underbelly of the global economy, he is a sympathetic and astute observer of China, its challenges, and its...

The new GCSE qualification has several routes, but all begin with ‘Setting Up a Business’. This unit is an introduction to setting up and running a business and looks at the...

Modernism ushered in some of the most exciting innovations in art and literature, from Fauvism, Cubism, and Dada, to the novels of James Joyce and Franz Kafka, to such provocative works as Marcel Duchamp's "Fountain." But Modernism also left many people puzzled in its wake. How can a routine bathroom fixture be considered a work...