Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
اقرأ المزيدAcademic Flying and the Means of Communication
This book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
اقرأ المزيد
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 ...
اقرأ المزيد
Acetylsalicylic Acid / Karsten Schrör
Contains the latest results of clinical and pharmacological research on Acetylsalicylic acid, addressing the multiple pharmacological ...
اقرأ المزيد
Achievements in European Research on Grid Systems : CoreGRID Integration Workshop 2006 (Selected Papers)
Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop ...
اقرأ المزيد
Achieving Organizational Agility, Intelligence, and Resilience Through Information Systems / Hakikur Rahman
Presents the latest scholarly research on the widespread integration of technological innovations around the globe and examines ...
اقرأ المزيد
Achieving the Paris Climate Agreement Goals
Presents detailed pathways to achieve 100% renewable energy by 2050, globally and across ten geographical regions. Based ...
اقرأ المزيد
Acid Rain - Deposition to Recovery
Acid rain is still with us. Although it is a problem that people have worked diligently to solve, there are still many problem ...
اقرأ المزيد
Acid in the Environment
This book is the result of a conference held biannually at the Goodwin-Niering Center for Conservation Biology and Environmental ...
اقرأ المزيد
Acoustic Emission Testing : Basics for Research - Applications in Civil Engineering
The book covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms ...
اقرأ المزيد
Actin-Binding Proteins and Disease
This volume, written by experts in the field, is the first to deal with the relationship between human disease and the actin ...
اقرأ المزيد
Action Research in Software Engineering : Theory and Applications
This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. ...
اقرأ المزيد
Active Conceptual Modeling of Learning
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...
اقرأ المزيد
Active Processes and Otoacoustic Emissions in Hearing
Sounds that are actually produced by healthy ears allow researchers and clinicians to study hearing and cochlear function ...
اقرأ المزيدActors and the Art of Performance: Under Exposure
Actors and the Art of Performance: Under Exposure combines the author's two main biographical paths: her professional commitment ...
اقرأ المزيد
Acute Promyelocytic Leukemia
Over the past 10 years, work on acute promyelocytic leukemia (APL) has become the paradigm of translational research that ...
اقرأ المزيد
Ad Hoc Networks
Ad Hoc Networks: Technologies and Protocols is a concise in-depth treatment of various constituent components of ad hoc network ...
اقرأ المزيد
Ad-Hoc Networking
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Ad-Hoc, Mobile, and Wireless Networks
The sixth international conference on AD-HOC NetwOrks and Wireless was held in the city of Morelia, Michoacan State, Mexico. ...
اقرأ المزيد
Ad-Hoc, Mobile, and Wireless Networks (vol. # 4104)
The 5th International Conference on Adhoc, Mobile and Wireless Networks (Adhoc-Now 2006) was held during August 17–19, ...
اقرأ المزيد
