Electronic Books

Total Books: 161 - 180 /959

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...

For a long time, the die cast industry has used trial and error as a leading development method, resulting in tremendous ...

This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and ...

This book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and ...

This book focuses on a challenging application field of cellular automata: pattern formation in biological systems, such ...

This book is the proceedings of the International Conference on Power Engineering-2007. The fields of this book include power ...

The purpose of this book is to facilitate a better understanding of the characteristics of superchargers in respect to their ...

The book provides a detailed description and hands-on experience on process design in chemical engineering, and it is an ...

In this volume, an improved Integrated Assessment methodology is used to analyse climate change impacts on agriculture, water ...

Improved adaptation of food production, particularly in areas where climate variability is large, holds the key to improving ...

This book contains the proceedings of the 7th Climbing and Walking Robots 2004 (CLAWAR 2004) Conference offering the international ...

This book aims to provide a trans-disciplinary research framework and methodology for interaction design. The analysis directs ...

Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...

Collaborative Engineering: Theory and Practice offers insights into the methods and techniques involved in implementing a ...

Collaborative Product and Service Life Cycle Management for a Sustainable World gathers together papers from the 15th ISPE ...

The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...

The actual fourth edition presents a completely restructured book: Mathematical Formulae and derivations as well as the space-consuming ...

Total Books: 161 - 180 /959