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