Terrorist attacks on computer centers, electronic fraud on international funds transfer networks, viruses and worms in our software, corporate espionage on business networks, and crackers breaking into systems on the Internet...Computer criminals are becoming ever more technically sophisticated, and it's an increasing challenge to keep up...

Objective-C Programmer's Reference provides the tools necessary to write software in Objective-C—the language of choice for developing iOS and OS X applications. Author Carlos Oliveira begins from the basic building blocks of the language. He shows how to create correct and efficient applications by applying your knowledge...

Twenty five years have elapsed since the original publication of Helium Cryogenics. During this time, a considerable amount of research and development involving helium fluids has been carried out culminating in several large-scale projects. Furthermore, the field has matured through these efforts so that there is now a broad...

• Learn how to implement the benefits of intelligent document capture using Ephesoft Enterprise 4
• Leverage the power of the...

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a...

The knowledge of lysosomal biology and the consequences of its dysfunction have increased dramatically in the past 60 years. This book describes the nature of the lysosomal dysfunction and diseases as well as potential future treatments and therapies. Disease specific chapters provide thorough reviews of the clinical features of lysosomal...

• Learn tools and techniques that let you approach big data with relish and not...

• Set up video calls easily with a low bandwidth audio only option using...

This book first provides a comprehensive coverage of state-of-the-art validation solutions based on real-time signal tracing to guarantee the correctness of VLSI circuits.  The authors discuss several key challenges in post-silicon validation and provide automated solutions that are systematic and cost-effective.  A series of...

• Learn about the fundamentals of cloud storage using OpenStack Swift
• Explore how to install and manage OpenStack Swift along with various hardware and tuning...