Electronic Books

Total Books: 101 - 120 /144
Risks in Modern Society

The main goal of this book is to make the reader familiar with the complexity and multi-dimensionality of the subject RISK, ...

Lire la suite
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

Lire la suite
NoIMG
Safer Healthcare : Strategies for the Real World

The authors of this book set out a system of safety strategies and interventions for managing patient safety on a day-to-day ...

Lire la suite
Safety for Particle Accelerators

The use of non-standard technologies such as superconductivity, cryogenics and radiofrequency pose challenges for the safe ...

Lire la suite
Sanificazione nellindustria alimentare = Sanitation in the food industry

This volume is the Italian version of the original Principles of Food Sanitation, now in its fifth edition, whose validity ...

Lire la suite
NoIMG
Satisfying Safety Goals by Probabilistic Risk Assessment

Safety is one of the most important issues today. Recent international standards such as ISO and IEC have consistently advocated ...

Lire la suite
Science of Societal Safety

This book covers comprehensive but fundamental principles and concepts of disaster and accident prevention and mitigation, ...

Lire la suite
Semi-Markov Chains and Hidden Semi-Markov Models toward Applications : Their use in Reliability and DNA Analysis

This book is concerned with the estimation of discrete-time semi-Markov and hidden semi-Markov processes. Semi-Markov processes ...

Lire la suite
Service-Oriented Computing ICSOC 2006

This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in ...

Lire la suite
Shifts in Compensation for Environmental Damage

This volume examines the shifts in the compensation of environmental damage between private and public systems. Recent developments ...

Lire la suite
Shifts in compensating work-related injuries and diseases

Inspired by developments mirroring shifts in the legal basis for compensating damage from civil law to public funding and ...

Lire la suite
NoIMG
Shock and Damage Models in Reliability Theory

Shock and Damage Models in Reliability Theory is the first book to describe the reliability properties and maintenance policies ...

Lire la suite
Software Design for Resilient Computer Systems

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Solder Joint Technology

Solder joints are ubiquitous in electronic consumer products. The European Union has a directive to ban the use of Pb-based ...

Lire la suite
Springer Handbook of Nanotechnology

Since 2004 the Springer Handbook of Nanotechnology has established itself as the definitive reference in the Nanoscience ...

Lire la suite
Statistical Quality Control: Using MINITAB, R, JMP and Python / Bhisham C. Gupta

This book introduces Statistical Quality Control and the elements of Six Sigma Methodology, illustrating the widespread applications ...

Lire la suite
Stochastic Ageing and Dependence for Reliability

Ageing and dependence are two important characteristics in reliability and survival analysis, and they affect significantly ...

Lire la suite
Structure of Life Distributions: Nonparametric, Semiparametric, and Parametric Families

For over 200 years, practitioners have been developing parametric families of probability distributions for data analysis. ...

Lire la suite
Total Books: 101 - 120 /144