Algebraic Geometry often seems very abstract, but in fact it is full of concrete examples and problems. This side of the ...
Lire la suiteBased on the German case, this book highlights the increasing flows of migration and the internationalisation of individual ...
Lire la suiteThe first step towards success in a software project is to ensure a professional setup. This includes a metrics-based formal ...
Lire la suite"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being ...
Lire la suiteIn Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...
Lire la suiteIn Chapter 1, the derivative and divergence operators are introduced in the framework of an isonormal Gaussian process associated ...
Lire la suiteThis long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...
Lire la suiteThis long-awaited book aims at a rigorous mathematical treatment of the theory of pricing and hedging of derivative securities ...
Lire la suiteReflector antennas are widely used in the microwave and millimeter wavelength domain. Radio astronomers have developed techniques ...
Lire la suiteLong-baseline interferometry has been traditionally regarded as a very technical method with a limited number of applications. ...
Lire la suiteThis book calls the attention of the scientific community, government organizations and non-government agencies, and the ...
Lire la suiteCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lire la suiteA book that traces the profound effect Gauss’s masterpiece has had on mathematics over the past two centuries. … The ...
Lire la suiteThis volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...
Lire la suiteThe more recent link between nutrition and skin aging began in earnest around the year 2000 with the demonstrated increase ...
Lire la suiteConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lire la suiteThis volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lire la suiteThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suiteConstitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lire la suitePresents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...
Lire la suite