Your search returned 14 results.

Sort
Results
Safety-critical computer systems / Neil Storey

by Storey, Neil.

Material type: articlePrinted books Publisher: Harlow : Addison-Wesley, cop. 1996Items
Location Call no. Status Vol info Loan type
Depósito C (Villaviciosa de Odón) TA169.7 .S76 1996 available

Ten Laws for Security / by Eric Diehl.

by Diehl, Eric.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.A25 D544 2016 EB reference

Risk-Based Engineering : An Integrated Approach to Complex Systems-Special Reference to Nuclear Plants / by Prabhakar V. Varde, Michael G. Pecht

by SpringerLink (Online service) | Varde, Prabhakar, autor | Pecht, Michael G, autor..

Material type: bookE-book Publisher: Singapore : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TA169.7 2018 EB reference

Formal Methods for Safety and Security Case Studies for Aerospace Applications / edited by Manju Nanda, Yogananda Jeppu.

by Nanda, Manju, editor literario | Jeppu, Yogananda, editor literario.

Material type: bookE-book Publisher: Singapore : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.F67 F676 2018 EB reference

Software Failure Investigation A Near-Miss Analysis Approach / by Jan Eloff, Madeleine Bihina Bella.

by Eloff, Jan, autor | Bihina Bella, Madeleine, autor.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2018Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.76.F34 E464 2018 EB reference

CMOS Test and Evaluation A Physical Perspective / by Manjul Bhushan, Mark B. Ketchen.

by Bhushan, Manjul, autor. | Ketchen, Mark B, autor..

Material type: bookE-book Publisher: New York, NY : Springer International Publishing, 2015Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK7874 .B487 2015 EB reference

Process and Plant Safety / by Ulrich Hauptmanns.

by Hauptmanns, Ulrich, autor..

Material type: bookE-book Publisher: Berlin, Heidelberg : Springer International Publishing, 2015Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T55 .H387 2015 EB reference

Safety Dynamics : Evaluating Risk in Complex Industrial Systems / edited by Franck Guarnieri, Emmanuel Garbolino.

by SpringerLink (Online service) | Garbolino, Emmanuel, editor literario | Guarnieri, Franck, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T55 2019 EB reference

Mathematical Foundations of System Safety Engineering : A Road Map for the Future / by Richard R. Zito.

by SpringerLink (Online service) | Zito, Richard R, autor.

Edition: 1st ed. 2020.Source: Springer eBooksMaterial type: bookE-book Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TA169.7 2020 EB reference

Process and Plant Safety / by Ulrich Hauptmanns

by Hauptmanns, Ulrich, autor.

Edition: Second edition 2020Source: Springer Nature eBookMaterial type: bookE-book Publisher: Berlin, Heidelberg : Springer International Publishing, 2020Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) T55 2020 EB reference

Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools / edited by Joanna Kołodziej, Matteo Repetto, Armend Duzha

by Kołodziej, Joanna, editor literario | Repetto, Matteo, editor literario | Duzha, Armend, editor literario.

Edition: First edition 2022Material type: bookE-book Publisher: Cham : Springer International Publising, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.A25 2022 EB reference

Handbook of Big Data Analytics and Forensics / edited by Kim-Kwang Raymond Choo, Ali Dehghantanha

Edition: 1st edition 2022Material type: bookE-book Publisher: Cham : Springer International Publishing, 2022Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.A25 2022 EB reference

Proceedings of the 6th International Symposium on Uncertainty Quantification and Stochastic Modelling : Uncertainties 2023 / edited by José Eduardo Souza De Cursi

Edition: 1st ed. 2024Material type: bookE-book Publisher: Cham : Springer International Publishing, 2024Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TA169.7 2024 EB reference

Pages