Electronic Books

Total Books: 401 - 420 /1356

Problems linking the shape of a domain or the coefficients of an elliptic operator to the sequence of its eigenvalues are ...

Local independent lists are a general phenomenon on the local level in many European countries – in established Western ...

This book investigates female employment and the gender gap in the labor market and households during China’s economic ...

The topics covered constitute an introduction to radioactive phenomena in the strict sense with excursions, having as a starting ...

The problem of evaluating Feynman integrals over loop momenta has existed from the early days of perturbative quantum field ...

Covering the development of field computation in the past forty years, Field Models in Electricity and Magnetism intends ...

Some countries have created a specific fund solution; others follow a generous ad hoc approach whereby large amounts of compensation ...

This book discusses financial crisis management and policy in Europe and Latin America, with a special focus on equity and ...

This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography ...

FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale ...

Volume III is divided into 28 chapters. The first eight chapters focus on the symmetric positive systems of first-order PDEs ...

This book explores the histories and geographies of fishing in North Korea and the surrounding nations.

Il volume è un'introduzione alla Fisica Solare che si propone lo scopo di illustrare alla persona che intende avvicinarsi ...

Microbiologists are being challenged as foodborne outbreaks are increasingly being observed worldwide. Most of these outbreaks ...

This volume comprises the proceedings of a NATO Advanced Study Institute held at Geilo, Norway, 24 March - 3 April 2003, ...

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...

Total Books: 401 - 420 /1356