Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound...
"This book will provide a valuable resource for the OpenMP community."
- Timothy G. Mattson, Intel Corporation
"This book has an important role to play in the HPC community-both for introducing practicing professionals to OpenMP and for educating students and professionals about parallel programming. I'm happy...
In an age when so much communication is tethered to
technology, delivering messages face-to-face has paradoxically
become even more vital to professional success. We all have ready
access to more information than any of our ancestors did. At the
click of a few keys, we can locate reams of facts on any topic under
the sun. But...
While there are a plethora of practical texts relating to general gynecology, there are few specific to gynecological oncology. Taking a "cookbook" approach with clearly written and pictorial instructions, Atlas of Gynecologic Oncology: Investigation and Surgery describes and illustrates important procedures in the repertoire of a...
Having a command of the Vaadin framework means your Java web applications will look and perform brilliantly. Learn how with this all-inclusive, step-by-step tutorial to mastering Rich Internet Application development.
Overview
Discover the Vaadin framework in a progressive and structured...
The paradigm of ‘multi-agent’ cooperative control is the challenge frontier for new control system application domains, and as a research area it has experienced a considerable increase in activity in recent years. This volume, the result of a UCLA collaborative project with Caltech, Cornell and MIT, presents cutting edge results in...
The Encyclopedia of Addictive Drugs will save readers many hours of time that would otherwise be spent tracking down basic facts in science journals and libraries. This book is useful to a wide variety of persons—from a student doing a term paper to reporters preparing a story, from parents reading that story to a narcotics law enforcement...
Because of the variety of ways the Office 365 platform can be customized, the techniques described will appeal to a range of audiences. About half of the book demonstrates non-code solutions. If you’re an end user or power user, this book provides many useful tips that you can use to get the most out of Office 365. The second half of...
Although depression is the most common presentation of bipolar disorder, correct diagnosis generally requires a history of mania and thus presents a formidable challenge. This book provides clinicians with the necessary guidance to distinguish this illness and pursue an appropriate therapeutic course. It brings together a team of clinical...
The annual Workshop on Algorithm Engineering and Experiments (ALENEX) provides a forum for the presentation of original research in all aspects of algorithm engineering, including the implementation and experimental evaluation of algorithms and data structures. The workshop was sponsored by SIAM, the Society for Industrial and Applied...
Easy Microsoft Office PowerPoint 2003 takes the work out of learning this powerful tool by using short, easy-to-follow lessons that show you how to accomplish basic tasks quickly and efficiently! It is the perfect book for beginners who want to learn Microsoft's presentation software through a visual, full-color approach. More than 100 hands-on...