Electronic Books

Total Books: 41 - 60 /4802

This book discusses the challenges and opportunities faced by companies in an age that increasingly values sustainability ...

Equips students with the tools they will need to tackle the challenges of sustainable building design and engineering. The ...

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Part of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...

The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...

This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...

This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...

This book integrates decision-making and environmental science. For ecologists it will bridge the gap to economics. For practitioners ...

This book is designed to provide both novice and experienced users of PBL with resources for designing and implementing problem-based ...

A Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a ...

A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...

The book has three major themes: glimpses into the kind of interesting character he was, key excerpts from his writings, ...

The Objective Structured Clinical Examination (OSCE) is a type of examination often used in health sciences. It is designed ...

AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...

Total Books: 41 - 60 /4802