Trustworthy Compilers (Quantitative Software Engineering Series)
The Most Complete, Real-World Guide to Compiler
Development—and the Principles of Trustworthy Compilers
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...
The Machine Question: Critical Perspectives on AI, Robots, and Ethics
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...
Software Testing and Analysis: Process, Principles and Techniques The first comprehensive book on software test and analysis
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...
Apoptosis, Cell Signaling, and Human Diseases: Molecular Mechanisms, Volume 1
The aim of Apoptosis, Cell Signaling, and Human Diseases: Molecular Mechanisms
is to present recent developments in cell survival and apoptotic pathways and
their involvement in human diseases, such as cancers and neurodegenerative disorders.
This requires an integration of knowledge from several fields of research, including...
Voice Over IP Crash Course Recent advances in VoIP (Voice over IP) technology have made it the solution of choice for voice service because of its low cost and increased reliability. Voice Over IP Crash Course offers practical technology coverage, while discussing the business, strategic and competitive implications of VoIP deployment in corporations. The book also... java(TM).rmi: The Remote Method Invocation Guide Before the Java language was available, distributed systems engineering was greatly concerned with the problem of heterogeneity—the differences between CPUs, OSes, languages, and data formats. The challenge was to create architectureneutral formats and protocols which could be adapted to any architecture without burdening the programmer. RPC... Putting A New Spin on Groups: The Science of Chaos Putting a New Spin on Groups: The Science of Chaos, Second Edition continues to challenge orthodoxy and static ideas about small group dynamics. A primary goal is to offer an alternative model of group development that addresses three factors:
*The model integrates old ideas from previous models of group development with new...
|Result Page: 99 98 97 96 95 94 93 92 91 90 |