Electronic Books

Total Books: 3001 - 3020 /3570
978-3-540-33253-4
Software Product Lines

Between July 1999 and June 2005 a group of European companies, research institutes, and universities executed the EUREKA-ITEA ...

Continue reading
978-3-540-32064-7
Software Product Lines (vol. # 3714)

The technical program of SPLC 2005 included. – two keynotes from David Weiss (Avaya, USA) and Jan Bosch (Nokia, F- land), ...

Continue reading
978-3-540-71437-8
Software Product Lines in Action

Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level ...

Continue reading
978-3-540-47833-1
Software Product-Family Engineering

This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, ...

Continue reading
978-3-540-47984-0
Software Quality — ECSQ 2002

We have selected two themes for this conference . Our ?rst theme, “production of attractive and reliable software at Internet ...

Continue reading
978-3-030-52991-8
Software Technologies

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...

Continue reading
978-3-030-63618-0
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 ...

Continue reading
978-0-387-47939-2
Software Verification and Validation

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

Continue reading
978-3-540-46505-8
Software Visualization

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

Continue reading
978-3-540-70621-2
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, ...

Continue reading
978-3-030-47956-5
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 ...

Continue reading
978-0-387-32937-6
Software-Implemented Hardware Fault Tolerance

Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...

Continue reading
978-3-540-89437-7
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 ...

Continue reading
978-1-4020-8257-3
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 ...

Continue reading
978-1-4020-6146-2
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, ...

Continue reading
978-1-4020-8514-7
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 ...

Continue reading
978-1-4020-5508-9
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 ...

Continue reading
978-3-540-31346-5
Solar Electric Power Generation - Photovoltaic Energy Systems

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

Continue reading
978-1-84800-134-3
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, ...

Continue reading
978-0-387-72810-0
Solar Hydrogen Generation : Toward a Renewable Energy Future

This book examines strategies for generating hydrogen from sunlight and water in a sustainable way. Authoritative discussions ...

Continue reading
Total Books: 3001 - 3020 /3570