Electronic Books

Total Books: 15261 - 15280 /18515

Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

Software Verification and Validation

Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...

Software Visualization

Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...

Software and Data Technologies : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers

This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...

Software for Algebraic Geometry

Algorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established ...

Software for Data Analysis : Programming with R

This book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual ...

Software for Exascale Computing - SPPEXA 2016-2019

This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...

Software-Intensive Systems and New Computing Paradigms : Challenges and Visions

The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...

Soil Biological Fertility

This book presents a comprehensive scientific overview of the components and processes that underpin the biological characteristics ...

Soil Chemical Pollution, Risk Assessment, Remediation and Security

The book contains the contributions at the NATO Advanced Research Workshop on Soil Chemical Pollution, Risk Assessment, Remediation ...

Soil Mechanics and Transport in Porous Media

This book contains an overview of the most relevant scientific contributions of Gerard de Josselin de Jong to the development ...

Soil Mineral Microbe-Organic Interactions : Theories and Applications

The book presents the latest research findings and prospects on soil mineral-organic matter-microorganism interactions. It ...

Soil Pollution : Origin, Monitoring & Remediation

This book serve the needs of students and professionals alike interested in the subject of soil pollution. This book is a ...

Soil Stress-Strain Behavior: Measurement, Modeling and Analysis : A Collection of Papers of the Geotechnical Symposium in Rome, March 16–17, 2006

The material in this work is focused on recent developments in research into the stress-strain behavior of geomaterials, ...

Soil and Water Pollution Monitoring, Protection and Remediation

OBJECTIVE OF THE BOOK Soil, surface waters/sediments and shallow unprotected groundwater aquifers are interrelated compartments ...

Soils of Volcanic Regions in Europe

Soils of volcanic areas often exhibit unique properties differentiating them from other soils on Earth. This publication ...

Sol-Gel Methods for Materials Processing : Focusing on Materials for Pollution Control, Water Purification, and Soil Remediation

In this volume several contributions from invited speakers and participants at the NATO advanced research workshop on "Sol-gel ...

Solanaceae and Convolvulaceae: Secondary Metabolites

This comprehensive and interdisciplinary handbook provides a bird's-eye view of two centuries of research on secondary metabolites ...

Solar Activity and Earths Climate

This question has been a focus of scientific debate since the existence of sunspots was established in the early 17th century. ...

Solar Architecture : Strategies, Visions, Concepts / Christian Schittich

Whether insulating glazing, multifunctional facades or organic solar cells, there have been important new developments in ...

Total Books: 15261 - 15280 /18515