You can't “test quality into” a software product, but neither can you build a quality software product without test and analysis.  Software test and analysis is increasingly recognized, in research and in industrial practice, as a core challenge in...

Visual Media Coding and Transmission is an output of VISNET II NoE, which is an EC IST-FP6 collaborative research project by twelve esteemed institutions from across Europe in the fields of networked audiovisual systems and...

Managing files and finding stuff after you’ve organized it are things you’ll know about after reading this chapter. The chapter also covers loading up on applications, both from the App Store and directly from developers’ Web sites. (If you’re not sure now what the differences are, don’t...

There are strong indications that, in the 21st century, computational chemistry will be a prime research tool not only for the basic sciences but also for the life and materials sciences. Recent developments in nanotechnology allow us to detect a layer of single atoms. Researchers are able not only to image but also to manipulate molecules...

Though the game-theoretic approach has been vastly studied and utilized in relation to economics of industrial organizations, it has hardly been used to tackle safety management in multi-plant chemical industrial settings. Using Game Theory for Improving Safety within Chemical Industrial Parks presents an in-depth discussion of...

Mastering Bitcoin is essential reading for everyone interested in learning about bitcoin basics, the technical operation of bitcoin, or if you're building the next great bitcoin killer app or business. From using a bitcoin wallet to buy a cup of coffee, to running a bitcoin marketplace with hundreds of thousands of transactions, or...

Aimed at graduates and researchers, and requiring only a basic knowledge of multi-variable calculus, this introduction to computer-based partial differential equation (PDE) modeling provides readers with the practical methods necessary to develop and use PDE mathematical models in biomedical engineering. Taking an applied approach, rather...

Since the publication of the first edition of The Switch Book seven years ago, LAN switching has witnessed significant changes, particularly in the areas of network layers, Ethernet, fast Ethernet, segmenting LANs, layer 3 switching, layer 4 switching, and multi-layer...

The multi-volume Encyclopedia of Database Systems provides easy access to relevant information on all aspects of very large databases, data management, and database systems. Over 1,400 illustrated essays and definitional entries, organized alphabetically, present basic terminology, concepts, methods and data processing...

Microsoft Robotics Developer Studio (MRDS) offers an exciting new wayto program robots in the Windows environment. With key portions of the MRDS code available in source form, it is readily extensible and offers numerous opportunities for programmers and hobbyists. This comprehensive book illustrates creative ways to use the tools and...

...