Electronic Books

Total Books: 541 - 560 /618

Algebraic Geometry often seems very abstract, but in fact it is full of concrete examples and problems. This side of the ...

Based on the German case, this book highlights the increasing flows of migration and the internationalisation of individual ...

The first step towards success in a software project is to ensure a professional setup. This includes a metrics-based formal ...

"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being ...

In Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...

In Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...

This long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...

This long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...

Reflector antennas are widely used in the microwave and millimeter wavelength domain. Radio astronomers have developed techniques ...

Long-baseline interferometry has been traditionally regarded as a very technical method with a limited number of applications. ...

This book calls the attention of the scientific community, government organizations and non-government agencies, and the ...

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 ...

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

The more recent link between nutrition and skin aging began in earnest around the year 2000 with the demonstrated increase ...

Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...

Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...

Total Books: 541 - 560 /618