Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lee mas
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed ...
Lee mas
Software Networks: Virtualization, SDN, 5G, and Security, 2nd Edition / Guy Pujolle
Describes how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with ...
Lee mas
Software Process Dynamics and Agility
This volume contains papers presented at the International Conference on Software Process (ICSP 2007) held in Minneapolis, ...
Lee mas
Software Process Improvement
This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, ...
Lee mas
Software Process Improvement : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings
This book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
Lee mas
Software Technologies
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
Lee mas
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 ...
Lee mas
Software Visualization
Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...
Lee mas
Software for Algebraic Geometry
Algorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Soil Biological Fertility
This book presents a comprehensive scientific overview of the components and processes that underpin the biological characteristics ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Soil and Water Pollution Monitoring, Protection and Remediation
OBJECTIVE OF THE BOOK Soil, surface waters/sediments and shallow unprotected groundwater aquifers are interrelated compartments ...
Lee mas
