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

H.264 Advanced Video Coding or MPEG-4 Part 10 is fundamental to a growing range of markets such as high definition broadcasting, internet video sharing, mobile video and digital surveillance. This book reflects the growing importance and implementation of H.264 video technology. Offering a detailed overview of the system, it explains the...

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to...

The newly revised Second Edtion of this distinctive text uniquely blends interesting problems with strategies, tools, and techniques to develop mathematical skill and intuition necessary for problem solving. Readers are encouraged to do math rather than just study it. The author draws upon his experience as a coach for the International...

The book contains supporting graphics...

This text emphasizes the intricate relationship between adaptive filtering and signal analysis - highlighting stochastic processes, signal representations and properties, analytical tools, and implementation methods. This second edition includes new chapters on adaptive techniques in communications and rotation-based algorithms. It provides...

Beginning R: An Introduction to Statistical Programming is a hands-on book showing how to use the R language, write and save R scripts, build and import data files, and write your own custom statistical functions. R is a powerful open-source implementation of the statistical language S, which was developed by AT&T. R has eclipsed...

Transform data mining model information into actionable business intelligence using the Data Mining Extensions (DMX) language. Practical DMX Queries for Microsoft SQL Server Analysis Services 2008 contains more than 250 downloadable DMX queries you can use to extract and visualize...

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets...

Difference Equations, Second Edition, presents a practical introduction to this important field of solutions for engineering and the physical sciences. Topic coverage includes numerical analysis, numerical methods, differential equations, combinatorics and discrete modeling. A hallmark of this revision is the diverse application to...

Phase-Locked Loops for Wireless Communications: Digitial, Analog and Optical Implementations, Second Edition presents a complete tutorial of phase-locked loops from analog implementations to digital and optical designs. The text establishes a thorough foundation of continuous-time analysis techniques and maintains a consistent notation as...

The main goal of this graduate-level text is to provide a language for understanding, unifying, and implementing a wide variety of algorithms for digital signal processing -- in particular, to provide rules and procedures that can simplify or even automate the task of writing code for the newest parallel and vector machines. It thus bridges...