Problems linking the shape of a domain or the coefficients of an elliptic operator to the sequence of its eigenvalues are ...
Lire la suite
Local independent lists are a general phenomenon on the local level in many European countries – in established Western ...
Lire la suite
This book investigates female employment and the gender gap in the labor market and households during China’s economic ...
Lire la suite
The topics covered constitute an introduction to radioactive phenomena in the strict sense with excursions, having as a starting ...
Lire la suite
The problem of evaluating Feynman integrals over loop momenta has existed from the early days of perturbative quantum field ...
Lire la suite
Covering the development of field computation in the past forty years, Field Models in Electricity and Magnetism intends ...
Lire la suite
Some countries have created a specific fund solution; others follow a generous ad hoc approach whereby large amounts of compensation ...
Lire la suite
This book discusses financial crisis management and policy in Europe and Latin America, with a special focus on equity and ...
Lire la suite
This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography ...
Lire la suite
FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale ...
Lire la suite
Volume III is divided into 28 chapters. The first eight chapters focus on the symmetric positive systems of first-order PDEs ...
Lire la suite
This book explores the histories and geographies of fishing in North Korea and the surrounding nations.
Lire la suite
Il volume è un'introduzione alla Fisica Solare che si propone lo scopo di illustrare alla persona che intende avvicinarsi ...
Lire la suite
Microbiologists are being challenged as foodborne outbreaks are increasingly being observed worldwide. Most of these outbreaks ...
Lire la suite
This volume comprises the proceedings of a NATO Advanced Study Institute held at Geilo, Norway, 24 March - 3 April 2003, ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Lire la suite
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Lire la suite
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
Lire la suite
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Lire la suite
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
Lire la suite