New Media, Old Media is a comprehensive anthology of original and classic essays that explore the tensions of old and new in digital culture. Leading international media scholars and cultural theorist
The Pentium Chronicles describes the architecture and key decisions that shaped the P6, Intel's most successful chip to date. As author Robert Colwell recognizes, success is about learning from othe
Software programs are complex, the books that explain them shouldn’t be. This thoroughly illustrated, full-color guide explains everything you need to know to get up and running quickly with Combustio
Understand IPv6, the protocol essential to future Internet growth. Exhaustion of address space and global routing table growth necessitate important revisions to the current version of the Internet P
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems. A logical perspective is adopted which employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. At the same time, efficiency concerns are kept in mind and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. Constraint systems are introduced and an enumeration technique is developed for solving arbitrary
Gaussian processes (GPs) provide a principled, practical, probabilistic approach to learning in kernel machines. GPs have received increased attention in the machine-learning community over the past d
In "The Hands on Guide to Live Webcasting," industry experts address the fastest-growing application for streaming media in all environments from corporations to educational applications--and teach yo
Bestselling author Ron Krutz once again demonstrates his ability to make difficult security topics approachable with this first in-depth look at SCADA (Supervisory Control And Data Acquisition) system
Rapid Manufacturing is a new area of manufacturing developed from a family of technologies known as Rapid Prototyping. These processes have already had the effect of both improving products and reduci
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design
Adults may think they’re pretty hip because they have an iPod. But you know that’s just not enough anymore! iPods are meant to reflect your personality, just like
Deal with information and uncertainty properly and efficiently using tools emerging from generalized information theory Uncertainty and Information: Foundations of Generalized Information The
Lewis, director of the UK Oracle User Group, describes the cost-based optimizer and other commonly used parts of the Oracle database model. An understanding of the model will allow readers to fix enti
You can start game programming in a flash Here's how to create five different cool games - no experience necessary! Ever think you could come up with a better computer game? Then this book is for yo
Argues that while the success of open source code has generated many sophisticated developments in computer technology and subverted many assumptions of economic principles, its use is guided by stand
Written in a clear, easy to read style, the book provides a tutorial on setting up a website with PHP-Nuke. Each topic is tackled in a clear, practical way with many examples to consolidate your learn
The state of the art of high-performance computing Prominent researchers from around the world have gathered to present the state-of-the-art techniques and innovations in high-performance computing (
Updated and revised to include the use of Java for programming examples, this book provides readers with a thorough and clear introduction to the difficult concept of recursionUses a broad range of ex
Beginning Algorithms A good understanding of algorithms, and the knowledge of when to apply them, is crucial to producing software that not only works correctly, but also performs efficiently. This i