This book offers a comprehensive overview of the latest methods and state-of-the-art technologies in intelligent product ...
Lire la suite
Right in the heart of Graz, the second largest city in Austria, an entire city district had simply fallen into oblivion. ...
Lire la suite
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Lire la suite
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Lire la suite
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
Lire la suite
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
Lire la suite
This book is about the development of a common understanding of environmental citizenship. It conceptualizes and frames ...
Lire la suite
Leading experts provide timely and comprehensive information on methods for conditional mutagenesis in the mouse (part 1) ...
Lire la suite
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...
Lire la suite
This book features a selection of articles written by Erich Ch. Wittmann between 1984 to 2019, which shows how the “design ...
Lire la suite
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...
Lire la suite
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suiteCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
Lire la suite
L.A. Galin's book on contact problems is a remarkable work. Actually there are two books: the first, published in 1953 deals ...
Lire la suiteDrug discovery is a lengthy and complex process that typically involves identifying an unmet medical need, determining a ...
Lire la suite
This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...
Lire la suite
This introductory chapter approaches two basic categories of the whole monography which is a family and a lifestyle. The ...
Lire la suite