This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lire la suite
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lire la suite
For a long time, the die cast industry has used trial and error as a leading development method, resulting in tremendous ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and ...
Lire la suite
This book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and ...
Lire la suite
This book focuses on a challenging application field of cellular automata: pattern formation in biological systems, such ...
Lire la suite
This book is the proceedings of the International Conference on Power Engineering-2007. The fields of this book include power ...
Lire la suite
The purpose of this book is to facilitate a better understanding of the characteristics of superchargers in respect to their ...
Lire la suiteThe book provides a detailed description and hands-on experience on process design in chemical engineering, and it is an ...
Lire la suite
In this volume, an improved Integrated Assessment methodology is used to analyse climate change impacts on agriculture, water ...
Lire la suite
Improved adaptation of food production, particularly in areas where climate variability is large, holds the key to improving ...
Lire la suite
This book aims to provide a trans-disciplinary research framework and methodology for interaction design. The analysis directs ...
Lire la suite
Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...
Lire la suite
Collaborative Engineering: Theory and Practice offers insights into the methods and techniques involved in implementing a ...
Lire la suite
Collaborative Product and Service Life Cycle Management for a Sustainable World gathers together papers from the 15th ISPE ...
Lire la suite
The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...
Lire la suite
The actual fourth edition presents a completely restructured book: Mathematical Formulae and derivations as well as the space-consuming ...
Lire la suite
This book explores the possibilities of applying the theories of complexity and self-organization developed to account for ...
Lire la suite