Search Results for System safety.

1.

System safety engineering and risk assessment : a practical approach

Author

Bahr, Nicholas J., author.

Preferred Shelf Number

ONLINE(356680.1)

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Safety and reliability : methodology and applications : proceedings of the European Safety and Reliability Conference, Esrel 2014, Wroc¿̐ưaw, Poland, 14-18 September 2014

Safety and reliability : methodology and applications : proceedings of the European Safety and Reliability Conference, Esrel 2014, Wroc¿̐ưaw, Poland, 14-18 September 2014

Author

European Safety and Reliability Conference (2014 : Wroc¿̐ưaw, Poland) Nowakowski, Tomasz, editor.

Preferred Shelf Number

ONLINE(356984.1)

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519237.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46669-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Musculoskeletal Health in Pregnancy and Postpartum An Evidence-Based Guide for Clinicians

Author

Fitzgerald, Colleen M. editor. Segal, Neil A. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520089.1)

Electronic Access

https://doi.org/10.1007/978-3-319-14319-4

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Internet of Things. IoT Infrastructures First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II

Internet of Things. IoT Infrastructures First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II

Author

Giaffreda, Raffaele. editor. Cagáňová, Dagmar. editor. Li, Yong. editor. Riggio, Roberto. editor. Voisard, Agnès. editor.

Preferred Shelf Number

XX(518534.1)

Electronic Access

https://doi.org/10.1007/978-3-319-19743-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Author

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519028.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21668-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Author

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519007.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21690-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Author

de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519019.1)

Electronic Access

https://doi.org/10.1007/978-3-319-19584-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519090.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46681-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings

Author

Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519189.1)

Electronic Access

https://doi.org/10.1007/978-3-319-19662-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Persuasive Technology 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings

Author

MacTavish, Thomas. editor. Basapur, Santosh. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519202.1)

Electronic Access

https://doi.org/10.1007/978-3-319-20306-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Author

Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519311.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23129-7

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}