Electronic Books

Total Books: 1801 - 1820 /2918

This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, ...

This book for a researcher needs to perform microsimulation for population projections, building its own model with a common ...

Microstructured Polymer Optical Fibres describes the optical properties of microstructured fibres, how they are made and ...

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held ...

The general tone of the book is not "from theory to practice," but "from current practice to better practice." The third ...

provides an analysis of university missions over time and space. It starts out by presenting a governance framework focusing ...

Mixed-Signal Layout Generation Concepts covers important physical-design issues that exist in contemporary analog and mixed-signal ...

This book covers the various approaches to modelling and optimising the spray and mixture formation processes in modern internal ...

This book provides a concise introduction to a critical development in memory studies. A global memory formation has emerged ...

This book constitutes the refereed proceedings of the Third International Conference on Mobile Ad-hoc and Sensor Networks, ...

Constitutes the refereed proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks held in 2005. ...

Modern economies depend on innovation in services for their future growth. Service innovation increasingly depends on information ...

This book assesses this research frontier from a computer science perspective, investigating the various scientific and technological ...

The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of ...

This book describes new, model based teaching methods for science instruction. It presents research that describes these ...

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...

Total Books: 1801 - 1820 /2918