This book discusses the challenges and opportunities faced by companies in an age that increasingly values sustainability ...
Lire la suiteEquips students with the tools they will need to tackle the challenges of sustainable building design and engineering. The ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suitePart of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...
Lire la suiteThe first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lire la suiteFactorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suiteFactorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suiteThis volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
Lire la suiteThis book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
Lire la suiteThis book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
Lire la suitePractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Lire la suiteThis book integrates decision-making and environmental science. For ecologists it will bridge the gap to economics. For practitioners ...
Lire la suiteThis book is designed to provide both novice and experienced users of PBL with resources for designing and implementing problem-based ...
Lire la suiteA Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a ...
Lire la suiteA Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
Lire la suiteThe book has three major themes: glimpses into the kind of interesting character he was, key excerpts from his writings, ...
Lire la suiteThe Objective Structured Clinical Examination (OSCE) is a type of examination often used in health sciences. It is designed ...
Lire la suiteAI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
Lire la suite