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