Electronic Books

Total Books: 11021 - 11040 /13267

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

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

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

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

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

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

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 addresses the innovative topic of software-implemented hardware fault tolerance ...

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

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

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

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

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

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

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

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

st The solar desalination workshop for the 21 century was sponsored by NATO program Security Through Science. In a great ...

The SOHO and Cluster missions form a single ESA cornerstone. Yet they observe very different regions in our solar system. ...

Professor Krauter demonstrates how the importance of accurate yield calculations, optimal system performance, and new prototypes ...

The book collects together material from the current literature in atmospheric environmental sciences, climate change research, ...

Total Books: 11021 - 11040 /13267