This book discusses the challenges and opportunities faced by companies in an age that increasingly values sustainability ...
Lire la suite
Equips students with the tools they will need to tackle the challenges of sustainable building design and engineering. The ...
Lire la suite
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suite
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suite
Part of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core ...
Lire la suite
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lire la suite
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
Lire la suite
This 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 suite
This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
Lire la suite
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suite
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Lire la suite
This book integrates decision-making and environmental science. For ecologists it will bridge the gap to economics. For practitioners ...
Lire la suite
This book is designed to provide both novice and experienced users of PBL with resources for designing and implementing problem-based ...
Lire la suite
A 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 suite
A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
Lire la suite
The 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 suite
AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
Lire la suite