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-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...
اقرأ المزيد
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 and Water Pollution Monitoring, Protection and Remediation
OBJECTIVE OF THE BOOK Soil, surface waters/sediments and shallow unprotected groundwater aquifers are interrelated compartments ...
اقرأ المزيد
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 Architecture : Strategies, Visions, Concepts / Christian Schittich
Whether insulating glazing, multifunctional facades or organic solar cells, there have been important new developments in ...
اقرأ المزيد
Solar Desalination for the 21st Century
st The solar desalination workshop for the 21 century was sponsored by NATO program Security Through Science. In a great ...
اقرأ المزيد
Solar Dynamics and its Effects on the Heliosphere and Earth
The SOHO and Cluster missions form a single ESA cornerstone. Yet they observe very different regions in our solar system. ...
اقرأ المزيد
Solar Electric Power Generation - Photovoltaic Energy Systems
Professor Krauter demonstrates how the importance of accurate yield calculations, optimal system performance, and new prototypes ...
اقرأ المزيد
Solar Energy Fundamentals and Modeling Techniques : Atmosphere, Environment, Climate Change and Renewable Energy
The book collects together material from the current literature in atmospheric environmental sciences, climate change research, ...
اقرأ المزيد
