Provides an annual astronomy review suitable for the popular science level reader to be published every September. The book ...
Weiterlesen
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Weiterlesen
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Weiterlesen
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Weiterlesen
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...
Weiterlesen
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Weiterlesen
Presents students with the key fundamental elements of structural analysis and covers as much material as is needed for a ...
Weiterlesen
Developing and testing novel energetic materials is an expanding branch of the materials sciences. To study the equations-of-state ...
Weiterlesen
Illustrates the modern methods of static and dynamic analysis of structures; Provides methods for solving boundary value ...
Weiterlesen
Part textbook, part exploratory work, this book aims to raise the awareness of students, physicists, and engineers in turbulence ...
Weiterlesen
The completely revised new edition of the classical book on Statistical Mechanics covers the basic concepts of equilibrium ...
Weiterlesen
Statistical Methods in Quantum Optics 2 - Non-Classical Fields continues the development of the methods used in quantum optics ...
Weiterlesen
This volume was prepared to share with a larger audience the exciting ideas and work presented at an ICML 2006 workshop of ...
Weiterlesen
Statistical Physics bridges the properties of a macroscopic system and the microscopic behavior of its constituting particles, ...
Weiterlesen
This book provides a comprehensive presentation of the basics of statistical physics. The first part explains the essence ...
Weiterlesen
The physics of scale-invariant and complex systems is a novel interdisciplinary field. Its ideas allow us to look at natural ...
Weiterlesen
The successful Statistical Reasoning in Medicine: The Intuitive P-value Primer, with its novel emphasis on patient and community ...
Weiterlesen
Statistical Tools in Finance and Insurance presents ready-to-use solutions, theoretical developments and method construction ...
Weiterlesen
The book develops the statistical approach to inverse problems with an emphasis on modeling and computations. The framework ...
Weiterlesen
This book presents the scientific findings of this study for Germany, including the major challenges with regard to the future ...
Weiterlesen