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 ...
اقرأ المزيد