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

At the heart of any modern communication system is the modem, connecting the data source to the communication channel. This first course in the mathematical theory of modem design introduces the theory of digital modulation and coding that underpins the design of digital telecommunications systems. A detailed treatment of core subjects is...

Part I of the book, Health Care Information Systems , focuses on providing global leadership for the optimal use...

This book offers an introduction to digital signal processing (DSP) with an emphasis on audio signals and computer music. It covers the mathematical foundations of DSP, important DSP theories including sampling, LTI systems, the z-transform, FIR/IIR filters, classic sound synthesis algorithms, various digital effects, topics in time and...

High-performance system architectures are increasingly exploiting heterogeneity: multi- and manycore-based systems are complemented by coprocessors, accelerators, and reconfigurable units providing huge computational power. However, applications of scientific interest (e.g. in high-performance computing and numerical simulation) are not yet...

Python Algorithms explains the Python approach to algorithm analysis and design. Written by Magnus Lie Hetland, author of Beginning Python, this book is sharply focused on classical algorithms, but it also gives a solid understanding of fundamental algorithmic problem-solving...

Encryption for Digital Content is an area in cryptography that is widely used in commercial productions (e.g., Blu-Ray and HD-DVDs). This book provides a comprehensive mathematical treatment of combinatorial encryption techniques used in digital content distribution systems and related attack models. A complete description of...

3G, HSPA and FDD versus TDD Networking, Second Edition is the only book that contrasts the network capacity gains that may be achieved with the advent of adaptive antenna arrays and HSDPA-style adaptive modulation techniques in the context of FDD and TDD CDMA cellular networks.  In the five years since the first edition of this...

Okay, you are not a computer science major, perhaps not even a...

The book is intended for advanced students in physics, mathematics, computer science, electrical engineering, robotics, engine engineering and for specialists in computer vision and robotics on the techniques for the development of vision-based robot projects. It focusses on autonomous and mobile service robots for indoor work, and teaches...

This book provides insight and enhanced appreciation of analysis, modeling and control of dynamic systems. The reader is assumed to be familiar with calculus, physics and some programming skills. It might develop the reader’s ability to interpret physical significance of mathematical results in system analysis. The book also prepares...

Optical Scanning Holography is an exciting new field with many potential novel applications. This book contains tutorials, research materials, as well as new ideas and insights that will be useful for those working in the field of optics and holography. The book has been written by one of the leading researchers in the field. It covers the...