This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004. The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
Numerical Analysis for Electromagnetic Integral Equations (Artech House Electromagnetic Analysis)
Numerical simulation is essential to electrical engineers working in antenna design, wireless communications, optical systems, and a host of other areas. This new applications-focused book provides engineers with state-of-the-art methods for predicting simulation accuracy, worked-out results for dozens of real-world problems, the latest accuracy-improving techniques, and detailed guidance for all parameters required to optimize numerical simulations.
Maximum Principles On Riemannian Manifolds And Applications
The aim of this paper is to introduce the reader to various forms of the maximum principle, starting from its classical formulation up to generalizations of the Omori-Yau maximum principle at infinity recently obtained by the authors. Applications are given to a number of geometrical problems in the setting of complete Riemannian manifolds, under assumptions either on the curvature or on the volume growth of geodesic balls.
Higher Pupil Book (GCSE Maths for AQA Modular (B))"The Collins 2 tier GCSE material is straight out of the top drawer and is a superb resource text for the new two-tier GCSE in mathematics. The colour coding used for exam-grade questions is straightforward and ideally matches our schemes of work. The Really Useful Maths sections are excellent; they engage interest and enthusiasm in lessons by contextualising mathematics in meaningful ways.
Review "The book is excellent and covers the whole of engineering mathematics from elementary to very advanced" "The book is excellent for the HNC and HND Engineering courses, both Mechanical and Electrical." "Very comprehensive text with large number of worked examples"
