Electronic Books

Total Books: 2181 - 2200 /2355

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

A book that traces the profound effect Gauss’s masterpiece has had on mathematics over the past two centuries. … The ...

The square root of 2 is a fascinating number – if a little less famous than such mathematical stars as pi, the number e, ...

This collection of papers -- starting with a brilliant article by one of the masters of the field -- gives an excellent current ...

The present volume contains a collection of essays representing some of the recent advances in the state space method. Methods ...

One of the most intriguing questions facing modern science is the inner workings of the human brain. Functional magnetic ...

This book collects and unifies statistical models and methods that have been proposed for analyzing interval-censored failure ...

Recurrent event data arise in diverse fields such as medicine, public health, insurance, social science, economics, manufacturing ...

This book reflects the progress made in the forty years since the appearance of Robinson’s revolutionary book Nonstandard ...

Since The Theory of the Moiré Phenomenon was published it became the main reference book in its field. It provided for the ...

The Theory of the Top: Volume I. Introduction to the Kinematics and Kinetics of the Top is the first of a series of four ...

The invited papers in this volume reflect the unity of mathematics as a whole, with particular emphasis on the many connections ...

This book contains scores of intriguing puzzles and paradoxes from Lewis Carroll, the author of Alice in Wonderland, whose ...

Topics discussed include the prehistory of special relativity, early attempts at a relativistic theory of gravitation, the ...

This volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...

This thorough yet understandable introduction to the boundary element method presents an attractive alternative to the finite ...

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

The book is based on lectures given by the author over many years. The main source of problems addressed in the book are ...

This textbook prepares graduate students for research in numerical analysis/computational mathematics by giving to them a ...

This survey provides an overview of German meta-discourse on theories and mathematics education as a scientific discipline, ...

Total Books: 2181 - 2200 /2355