This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lire la suiteFor a long time, the die cast industry has used trial and error as a leading development method, resulting in tremendous ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and ...
Lire la suiteThis book focuses on a challenging application field of cellular automata: pattern formation in biological systems, such ...
Lire la suiteThis book is the proceedings of the International Conference on Power Engineering-2007. The fields of this book include power ...
Lire la suiteThe 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 suiteIn this volume, an improved Integrated Assessment methodology is used to analyse climate change impacts on agriculture, water ...
Lire la suiteImproved adaptation of food production, particularly in areas where climate variability is large, holds the key to improving ...
Lire la suiteThis book contains the proceedings of the 7th Climbing and Walking Robots 2004 (CLAWAR 2004) Conference offering the international ...
Lire la suiteThis book aims to provide a trans-disciplinary research framework and methodology for interaction design. The analysis directs ...
Lire la suiteCognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...
Lire la suiteCollaborative Engineering: Theory and Practice offers insights into the methods and techniques involved in implementing a ...
Lire la suiteCollaborative Product and Service Life Cycle Management for a Sustainable World gathers together papers from the 15th ISPE ...
Lire la suiteThe focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...
Lire la suiteThe actual fourth edition presents a completely restructured book: Mathematical Formulae and derivations as well as the space-consuming ...
Lire la suite