Drawing on the author's over thirty years of expertise in compiler development, research, and instruction, Trustworthy Compilers introduces and analyzes the concept of trustworthy compilers and the principles...

One of the enduring concerns of moral philosophy is deciding who or what is deserving of ethical consideration. Much recent attention has been devoted to the "animal question" -- consideration of the moral status of nonhuman animals. In this book, David Gunkel takes up the "machine question": whether and to what extent...

In today's knowledge-driven economy, the ability to share insight and know-how is essential for driving innovation and growth. In this groundbreaking volume, scholars from around the world demonstrate how communication and information technologies are enabling dynamic project design and management practices that challenge traditional...

Cardiac arrhythmias of ventricular origin are responsible for the deaths of nearly half a million Americans each year while atrial fibrillation accounts for about 2.3 million cases per year, a rate that is projected to increase 2.5 fold over the next half...

In your complex and dynamic field, it can be a struggle to continually integrate the latest scientific and clinical information into your everyday patient care. The 11th Edition of this beloved reference is the solution! Leading authorities provide just the right blend of scientific insight and clinical know-how to help you overcome any...

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...