Electronic Books

Total Books: 421 - 440 /454
978-0-387-44907-4
The New Worlds : Extrasolar Planets

Exoplanet, extrasolar planet, exoEarth, exojupiter: neologisms still absent from many dictionaries. These terms are, however, ...

Continue reading
978-3-540-34720-0
The Shaping of Arithmetic after C.F. Gausss Disquisitiones Arithmeticae

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

Continue reading
978-3-211-49905-4
The Strength of Nonstandard Analysis

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

Continue reading
978-3-540-34806-1
The Wulff Crystal in Ising and Percolation Models

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

Continue reading
978-3-211-71576-5
The boundary element method with programming : For engineers and scientists

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

Continue reading
978-0-387-28769-0
Theoretical Numerical Analysis

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

Continue reading
978-3-540-79228-4
Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...

Continue reading
978-0-387-24233-0
Theory and Applications of Special Functions

This book, dedicated to Mizan Rahman, is made up of a collection of articles on various aspects of q-series and special functions. ...

Continue reading
978-1-84628-477-9
Theory of Computation

Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...

Continue reading
978-3-540-71209-1
Tools and Algorithms for the Construction and Analysis of Systems

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...

Continue reading
978-1-4020-2128-2
Topics in Analysis and its Applications

Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...

Continue reading
978-3-030-60806-4
Topics in Galois Fields

Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...

Continue reading
978-1-4020-5334-4
Topics in Geometry, Coding Theory and Cryptography

This book presents survey articles on some of these new developments. Most of the material is directly related to the interaction ...

Continue reading
978-0-8176-4515-1
Topics in the Theory of Algebraic Function Fields

This text adopts the latter perspective by applying an arithmetic-algebraic viewpoint to the study of function fields as ...

Continue reading
978-1-4020-8724-0
Topological Degree Approach to Bifurcation Problems

Topological bifurcation theory is one of the most essential topics in mathematics. This book contains original bifurcation ...

Continue reading
978-0-387-74614-2
Topological Methods in Group Theory

Topological Methods in Group Theory is about the interplay between algebraic topology and the theory of infinite discrete ...

Continue reading
978-3-540-35591-5
Transseries and Real Differential Algebra

Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...

Continue reading
978-1-4020-3144-1
Trends in Continuum Mechanics of Porous Media

This book addresses postgraduate students and scientists working in engineering, physics, and mathematics. It provides an ...

Continue reading
978-3-540-68103-8
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Continue reading
978-3-540-32398-3
Uncertainty Assessment of Large Finite Element Systems

The treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural ...

Continue reading
Total Books: 421 - 440 /454