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