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