This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic...

Health expectancies were developed to address the important question of whether or not we are exchanging longer life for poorer health - replacing quality by quantity.
Health expectancies extend the concept of life expectancy to morbidity and disability by providing a means of dividing life expectancy into life spent in various states...

Knowledge Mining Using Intelligent Agents explores the concept of knowledge discovery processes and enhances decision-making capability through the use of intelligent agents like ants, termites and honey bees. In order to provide readers with an integrated set of concepts and techniques for understanding knowledge discovery and its practical...

Virtualization has proved that it can help organizations to reduce costs, and the Private Cloud has created a revolution in the way we manage and control our servers with centralization and elasticity. The new Windows Server 2012 Hyper-V release from Microsoft comes with a myriad of improvements in areas such as mobility, high availability...

More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all...

Logic networks and automata are facets of digital systems. The change of  the design of logic networks from skills and art into a scientific discipline was possible by the development of the  underlying mathematical theory called the Switching Theory. The fundamentals of this theory come from the attempts towards an algebraic...

Are some areas of fast Fourier transforms still unclear to you? Do the notation and vocabulary seem inconsistent? Does your knowledge of their algorithmic aspects feel incomplete? The fast Fourier transform represents one of the most important advancements in scientific and engineering computing. Until now, however, treatments have been...

This unparalleled text on the basics of PET imaging technology is an ideal resource for technologists and residents preparing for board examinations and also serves as a useful reference for practicing nuclear medicine professionals. Written by noted author Gopal B. Saha, Ph.D., the book consists of concise but comprehensive chapters...

The "KnockoutJS Starter" guide pulls from real-world...