Just as the groundbreaking first edition of Multimedia-Based Instructional Design offered a complete guide to designing and developing interactive multimedia training, the second edition is filled with relevant new content, automated tools on the CD-ROM, updates on standards,...

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design,...

This book gives a comprehensive account of the practical aspects of Real time PCR and its application to veterinary diagnostic laboratories. The optimisation of assays to help diagnose livestock diseases is stressed and exemplified through assembling standard operating procedures from many laboratory sources. Theoretical aspects of PCR are dealt...

The issue of global climate change has risen to the top of the international...

This textbook gives a clear and thorough presentation of the fundamental principles of mechanics and strength of materials. It provides both the theory and applications of mechanics of materials on an intermediate theoretical level, ranging from the mechanical properties of materials through the effects of axial load, torsion, bending, and...

Cryptography has experienced rapid development, with major advances recently in both secret and public key ciphers, cryptographic hash functions, cryptographic algorithms and multiparty protocols, including their software engineering correctness verification, and various methods of cryptanalysis. This textbook introduces the reader to these...

Optimal Estimation of Dynamic Systems, Second Edition highlights the importance of both physical and numerical modeling in solving dynamics-based estimation problems found in engineering systems. Accessible to engineering students, applied mathematicians, and practicing engineers, the text presents the central concepts and...

This volume contains eight papers written by Adam Brandenburger and his co-authors over a period of 25 years. These papers are part of a program to reconstruct game theory in order to make how players reason about a game a central feature of the theory. The program now called epistemic game theory extends the classical definition of a game...