This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded ...
اقرأ المزيدThis book describes two main classes of non-equilibrium phase-transitions: (a) static and dynamics of transitions into an ...
اقرأ المزيدThe overall aim of this book, an outcome of the European FP7 FET Open NESS project, is to contribute to the ongoing effort ...
اقرأ المزيدThis is the first book in which problems of electromechanics are considered from the perspective of analytical mechanics. ...
اقرأ المزيدThis book develops a modern presentation of Continuum Mechanics, oriented towards numerical applications in the fields of ...
اقرأ المزيدComplex liquids constitute a basic element in modern materials science; their significant features include self-assembly, ...
اقرأ المزيدCovers model building for different engineering structures and provides detailed presentations of extreme loading conditions. ...
اقرأ المزيدThe present volume is dedicated to celebrate the work of the renowned mathematician Herbert Amann, who had a significant ...
اقرأ المزيدThe present volume is an introduction to nonlinear waves and soliton theory in the special environment of compact spaces ...
اقرأ المزيدNonsmooth mechanics concerns mechanical situations with possible nondifferentiable relationships, eventually discontinuous, ...
اقرأ المزيدNonsmooth mechanics concerns mechanical situations with possible nondifferentiable relationships, eventually discontinuous, ...
اقرأ المزيدThis open access book traces the journey of nuclear law: its origins, how it has developed, where it is now, and where it ...
اقرأ المزيدThis volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...
اقرأ المزيدThe book opens with a foreword by Herbert B. Keller and lecture notes by Sebius Doedel himself that introduce the basic concepts ...
اقرأ المزيدIncreasingly, architects are hired to design new work for existing structures. Whether for reasons of preservation, sustainability, ...
اقرأ المزيدWith logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; ...
اقرأ المزيدopen access under a CC BY 4.0 license and reports on research carried out as part of the European Union co-funded C.O.N.T.A.C.T. ...
اقرأ المزيدOn the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
اقرأ المزيدThese books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe ...
اقرأ المزيدThese books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe ...
اقرأ المزيد