This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Continue readingthe authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances ...
Continue readingThe phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Continue readingThis book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
Continue readingThis book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
Continue readingThis book integrates decision-making and environmental science. For ecologists it will bridge the gap to economics. For practitioners ...
Continue readingThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Continue readingA Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a ...
Continue readingThe history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...
Continue readingDistributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
Continue readingRecent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
Continue readingRecent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
Continue readingThis atlas is an up-to-date visual resource on the features and structures observed in soil thin sections, i.e. soil micromorphology.
Continue readingThese proceedings represent the worldwide picture of the state of the art of geodesy. The volume comprehensively covers the ...
Continue readingProvides a valuable combination of relevant research works on developing smart city ecosystem from the artificial intelligence ...
Continue readingStresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction ...
Continue readingThis book uses modern biological knowledge to tackle the question: "What distinguishes living organisms from the non-living ...
Continue readingThe book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Continue readingIn this book Claudia Lemke develops a comprehensive Multi-Level Sustainable Development Index (MLSDI) that is applicable ...
Continue readingThe book identifies the types of organizations that generate financial information and explains how you can use it for your ...
Continue reading