Electronic Books

Total Books: 161 - 180 /214
978-3-540-89247-2
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 ...

Continue reading
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 ...

Continue reading
978-3-030-57031-6
Safety for Particle Accelerators

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

Continue reading
978-1-4020-6526-2
Safety, Reliability and Risks Associated with Water, Oil and Gas Pipelines

In this book, the three two major defect assessment tools for pipes are presented : i) the failure assessment diagram and ...

Continue reading
978-88-470-0788-8
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 ...

Continue reading
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 ...

Continue reading
978-1-4020-2978-3
Scenario Logic and Probabilistic Management of Risk in Business and Engineering

In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. ...

Continue reading
978-981-13-2775-9
Science of Societal Safety

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

Continue reading
978-0-387-73173-5
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 ...

Continue reading
978-0-387-70730-3
Semi-Markov Risk Models for Finance, Insurance and Reliability

This book presents applications of semi-Markov processes in finance, insurance and reliability, using real-life problems ...

Continue reading
978-3-540-75492-3
Service-Oriented Computing ICSOC 2006

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

Continue reading
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 ...

Continue reading
978-1-84800-027-8
Silver Metallization : Stability and Reliability

Silver Metallization: Stability and Reliability provides detailed information on a wide range of experimental, characterization ...

Continue reading
978-3-540-89076-8
Simulation, Modeling, and Programming for Autonomous Robots : First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

The book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, ...

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

Continue reading
978-3-540-75381-0
Software Process Improvement

This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, ...

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-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-3-540-28243-3
Solar-Type Activity in Main-Sequence Stars

Solar-type activity over the whole range of the electromagnetic spectrum is a phenomenon inherent in the majority of low- ...

Continue reading
978-0-387-38892-2
Solder Joint Technology

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

Continue reading
Total Books: 161 - 180 /214