Filter by
UK Success Stories in Industrial Mathematics
This publication showcases the work of UK mathematicians and statisticians by describing industrial problems that have been successfully solved, together with a summary of the financial and/or societal impact that arose from the work. The articles are grouped by sector, and include contributions to climate modelling, engineering and health. The articles are based on Impact Case Studies that wer…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25454-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Type Systems for Distributed Programs: Components and Sessions
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety propert…
- Edition
- -
- ISBN/ISSN
- 978-94-6239-204-5
- Collation
- -
- Series Title
- -
- Call Number
- -
The Mathematics Education of Prospective Secondary Teachers Around the World
This volume shares and discusses significant new trends and developments in research and practices related to various aspects of preparing prospective secondary mathematics teachers from 2005–2015. It provides both an overview of the current state-of-the-art and outstanding recent research reports from an international perspective. The authors completed a thorough review of the literature by …
- Edition
- -
- ISBN/ISSN
- 9783319389653
- Collation
- VIII, 58 halaman
- Series Title
- ICME-13 Topical Surveys
- Call Number
- 370 STR b
Turning Points in the History of Mathematics
This book explores some of the major turning points in the history of mathematics, ranging from ancient Greece to the present, demonstrating the drama that has often been a part of its evolution. Studying these breakthroughs, transitions, and revolutions, their stumbling-blocks and their triumphs, can help illuminate the importance of the history of mathematics for its teaching, learning, and …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3264-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Turing’s Revolution The Impact of His Ideas about Computability
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical infl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22156-4
- Collation
- -
- Series Title
- -
- Call Number
- -
A General Algebraic Semantics for Sentential Logics
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of…
- Edition
- -
- ISBN/ISSN
- 9781316716915
- Collation
- -
- Series Title
- Lecture Notes in Logic (7)
- Call Number
- -
International Comparative Studies in Mathematics : Lessons for Improving Stud…
It argues that the main purpose of educational research is to improve student learning, and that international comparative studies are no exception.
- Edition
- -
- ISBN/ISSN
- 9783319424132
- Collation
- VII, 36 halaman
- Series Title
- ICME-13 Topical Surveys
- Call Number
- 510 CAI i
An Introduction to Beam Physics
The field of beam physics touches many areas of physics, engineering, and the sciences. In general terms, beams describe ensembles of particles with initial conditions similar enough to be treated together as a group so that the motion is a weakly nonlinear perturbation of a chosen reference particle. Particle beams are used in a variety of areas,
- Edition
- -
- ISBN/ISSN
- 9781420011821
- Collation
- -
- Series Title
- -
- Call Number
- -
A Gallery of Fluid Motion
Images of fluids in motion have served both scientific and artistic purposes at least since the time of Leonardo de Vinci over 500 years ago. The visualization of fluid flow has played a major role in the development of fluid dynamics and its technological and scientific applications, from the evolution of flight to the tracking of weather to understanding the flow of blood. Today, the Division…
- Edition
- -
- ISBN/ISSN
- 9780511610820
- Collation
- -
- Series Title
- -
- Call Number
- -
A Gallery of Combustion and Fire
A Gallery of Combustion and Fire is the first book to provide a graphical perspective of the extremely visual phenomenon of combustion in full color. It is designed primarily to be used in parallel with, and supplement existing combustion textbooks that are usually in black and white, making it a challenge to visualize such a graphic phenomenon. Each image includes a description of how it was g…
- Edition
- -
- ISBN/ISSN
- 9781316651209
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography