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