Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded ...
Lee mas
Non-Equilibrium Phase Transitions : Volume I: Absorbing Phase Transitions
This book describes two main classes of non-equilibrium phase-transitions: (a) static and dynamics of transitions into an ...
Lee mas
Non-Equilibrium Social Science and Policy
The overall aim of this book, an outcome of the European FP7 FET Open NESS project, is to contribute to the ongoing effort ...
Lee mas
Non-Linear Electromechanics
This is the first book in which problems of electromechanics are considered from the perspective of analytical mechanics. ...
Lee mas
Nonlinear Continua
This book develops a modern presentation of Continuum Mechanics, oriented towards numerical applications in the fields of ...
Lee mas
Nonlinear Dielectric Phenomena in Complex Liquids
Complex liquids constitute a basic element in modern materials science; their significant features include self-assembly, ...
Lee masNonlinear Dynamics of Structures Under Extreme Transient Loads / Adnan Ibrahimbegovic, Naida Ademović
Covers model building for different engineering structures and provides detailed presentations of extreme loading conditions. ...
Lee mas
Nonlinear Elliptic and Parabolic Problems
The present volume is dedicated to celebrate the work of the renowned mathematician Herbert Amann, who had a significant ...
Lee mas
NonlinearWaves and Solitons on Contours and Closed Surfaces
The present volume is an introduction to nonlinear waves and soliton theory in the special environment of compact spaces ...
Lee mas
Nonsmooth Mechanics and Analysis
Nonsmooth mechanics concerns mechanical situations with possible nondifferentiable relationships, eventually discontinuous, ...
Lee mas
Nonsmooth Mechanics and Analysis
Nonsmooth mechanics concerns mechanical situations with possible nondifferentiable relationships, eventually discontinuous, ...
Lee masNuclear Law : The Global Debate
This open access book traces the journey of nuclear law: its origins, how it has developed, where it is now, and where it ...
Lee masNuel Belnap on Indeterminism and Free Action
This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...
Lee mas
Numerical Continuation Methods for Dynamical Systems
The book opens with a foreword by Herbert B. Keller and lecture notes by Sebius Doedel himself that introduce the basic concepts ...
Lee mas
Old Buildings New Designs / Charles F Bloszies (author), Hugh Hardy
Increasingly, architects are hired to design new work for existing structures. Whether for reasons of preservation, sustainability, ...
Lee mas
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; ...
Lee mas
Online Hate Speech in the European Union
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. ...
Lee mas
Ontologies for Agents: Theory and Experiences
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...
Lee mas
Open Quantum Systems I
These books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe ...
Lee mas
Open Quantum Systems I
These books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe ...
Lee mas
