This book provides the reader with all the tools necessary to implement modern error-processing schemes. It assumes only a basic knowledge of linear algebra and develops the mathematical theory in parallel with the codes.  Meer

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems.  Meer

Systems that evolve with time occur frequently in nature and modelling the behaviour of such systems provides an important application of mathematics.  Meer

Substantially revised, this authoritative study covers the standard finite difference methods of parabolic, hyperbolic, and elliptic equations, and includes the concomitant theoretical work on consistency, stability, and convergence.  Meer

The spirit and aim of this book is to present a compact introduction to the basic combinatorial tools - such as recurrence relations, generating functions, incidence matrices, and the inclusion-exclusion principle - that will give the reader a flavour of the distinctive characteristics of this attractive and increasingly important branch of mathematics.  Meer

The study of the dynamics of fluids is a central theme of modern applied mathematics. It is used to model a vast range of physical phenomena and plays a vital role in science and engineering.  Meer

Techniques of matrix theory find wide application throughout engineering and the physical, life, and social sciences. Consequently, matrix methods comprise an important component in any 'tool kit' of applied mathematics.  Meer