Springer London: 1778 books

This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the sophisticated...

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with...

A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on...

The first part of this preface is for the student; the second for the instructor. But whoever you are, welcome to both parts. For the Student You have finished secondary school, and are about to begin at a university or technical college. You want to study computing. The course includes some mathematics...

This new edition illustrates the power of linear algebra in the study of graphs. The emphasis on matrix techniques is greater than in other texts on algebraic graph theory. Important matrices associated with graphs (for example, incidence, adjacency and Laplacian matrices) are treated in detail. Presenting...

This book brings together several advanced topics in computer graphics that are important in the areas of game development, three-dimensional animation and real-time rendering. The book is designed for final-year undergraduate or first-year graduate students, who are already familiar with the basic...

An undergraduate-level introduction to number theory, with the emphasis on fully explained proofs and examples. Exercises, together with their solutions are integrated into the text, and the first few chapters assume only basic school algebra. Elementary ideas about groups and rings are then used...

The aim of this book is to research comfort control inside buildings, and how this can be achieved through low energy consumption. It presents a comprehensive exploration of the design, development and implementation of several advanced control systems that maintain users' comfort (thermal and indoor...

Mathematical models of deformation of elastic plates are used by applied mathematicians and engineers in connection with a wide range of practical applications, from microchip production to the construction of skyscrapers and aircraft. This book employs two important analytic techniques to solve the...

It is a distinct pleasure to be invited to prepare a short Foreword to Biomedical Research: How to plan, publish and present it, by William F. Whimster. Ninety years have elapsed since T. Clifford Allbutt, the Regius Professor of Physic at the University of Cambridge, published his c1assic work of...

Along with AIDS, antiphospholipid syndrome was the major medical discovery of the late 20th century, so for many it is still deemed a ‘new’ disease. The discovery of ‘sticky blood’ (commonly known as antiphospholipid syndrome or ‘Hughes Syndrome’) came out of years of observation...

Goal Structuring Notation (GSN)  is becoming increasing popular; practitioners use it in the railway, air traffic management and nuclear industries, amongst others.  Originally developed to present safety assurance arguments, GSN need not be restricted to safety assurances only; in principle, you...

Historians have different views on the core identity of analogue computing. Some portray the technology solely as a precursor to digital computing, whereas others stress that analogue applications existed well after 1940. Even within contemporary sources, there is a spectrum of understanding around...

With the increasing complexity and dynamism in today’s machine design and development, more precise, robust and practical approaches and systems are needed to support machine design. Existing design methods treat the targeted machine as stationery. Analysis and simulation are mostly performed at...