A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيد
A History of Atmospheric CO2 and Its Effects on Plants, Animals, and Ecosystems
the authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances ...
اقرأ المزيد
A Life Cycle for Clusters?
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
اقرأ المزيدA Multidisciplinary Approach to Capability in Age and Ageing
This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
اقرأ المزيد
A Portrait of State-of-the-Art Research at the Technical University of Lisbon
This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
اقرأ المزيد
A Primer on Environmental Decision-Making
This book integrates decision-making and environmental science. For ecologists it will bridge the gap to economics. For practitioners ...
اقرأ المزيد
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيد
A Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources
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 Space of Their Own: The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania
The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...
اقرأ المزيد
A Theory of Distributed Objects
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
اقرأ المزيدA Time for Metabolism and Hormones
Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
اقرأ المزيد
A Time for Metabolism and Hormones
Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
اقرأ المزيد
A Visual Atlas for Soil Micromorphologists
This atlas is an up-to-date visual resource on the features and structures observed in soil thin sections, i.e. soil micromorphology.
اقرأ المزيد
A Window on the Future of Geodesy
These proceedings represent the worldwide picture of the state of the art of geodesy. The volume comprehensively covers the ...
اقرأ المزيد
AI and IoT for smart city applications / Vincenzo Piuri, Rabindra Nath Shaw, Ankush Ghosh, Rabiul Islam
Provides a valuable combination of relevant research works on developing smart city ecosystem from the artificial intelligence ...
اقرأ المزيد
Abiotic Stress Tolerance in Plants
Stresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction ...
اقرأ المزيد
About Life
This book uses modern biological knowledge to tackle the question: "What distinguishes living organisms from the non-living ...
اقرأ المزيد
Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
اقرأ المزيد
Accounting and Statistical Analyses for Sustainable Development Multiple Perspectives and Information-Theoretic Complexity Reduction
In this book Claudia Lemke develops a comprehensive Multi-Level Sustainable Development Index (MLSDI) that is applicable ...
اقرأ المزيد
Accounting for Business : Practicalities and Strategies / Roger Hussey and Audra Ong
The book identifies the types of organizations that generate financial information and explains how you can use it for your ...
اقرأ المزيد
