Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

£91.13

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

£91.08 Elsewhere ~~£99.99~~ Save £8.91 (9%)

Leveraging Artificial Intelligence in Engineering, Management, and Safety of Infrastructure

By M.Z. Naser

Leveraging Artificial Intelligence in Engineering, Management, and Safety of Infrastructure

By M.Z. Naser

£137 Elsewhere ~~£155.00~~ Save £18.00 (12%)

IoT-enabled Unobtrusive Surveillance Systems for Smart Campus Safety

By Theodoros Anagnostopoulos

IoT-enabled Unobtrusive Surveillance Systems for Smart Campus Safety

By Theodoros Anagnostopoulos

£84.59 Elsewhere ~~£94.95~~ Save £10.36 (11%)

Leveraging Artificial Intelligence in Engineering, Management, and Safety of Infrastructure

By M.Z. Naser

Leveraging Artificial Intelligence in Engineering, Management, and Safety of Infrastructure

By M.Z. Naser

£49.97 Elsewhere ~~£68.99~~ Save £19.02 (28%)

Achieving Quality Software (Including Its Application to Safety-Related Systems)

By Smith, D. J.

Achieving Quality Software (Including Its Application to Safety-Related Systems)

By Smith, D. J.

£46.20

Behavior Trees in Robotics and AI (An Introduction (Chapman & Hall/CRC Artificial Intelligence and Robotics Series))

By Michele Colledanchise, Petter Ögren

Behavior Trees in Robotics and AI (An Introduction (Chapman & Hall/CRC Artificial Intelligence and Robotics Series))

By Michele Colledanchise, Petter Ögren

£39.15 Elsewhere ~~£44.99~~ Save £5.84 (13%)

Artificial Intelligence Safety and Security (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

By Roman V. Yampolskiy

Artificial Intelligence Safety and Security (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

By Roman V. Yampolskiy

£100 Elsewhere ~~£135.00~~ Save £35.00 (26%)

Behavior Trees in Robotics and AI (An Introduction (Chapman & Hall/CRC Artificial Intelligence and Robotics Series))

By Colledanchise, Michele, OEgren, Petter (KTH Royal Institute of Technology, Stockholm, Sw

Behavior Trees in Robotics and AI (An Introduction (Chapman & Hall/CRC Artificial Intelligence and Robotics Series))

By Colledanchise, Michele, OEgren, Petter (KTH Royal Institute of Technology, Stockholm, Sw

£72.78 Elsewhere ~~£82.99~~ Save £10.21 (12%)

Artificial Intelligence Safety and Security (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

By Roman V. Yampolskiy

Artificial Intelligence Safety and Security (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

By Roman V. Yampolskiy

£49.83 Elsewhere ~~£51.99~~ Save £2.16 (4%)

Security Chaos Engineering (Developing Resilience and Safety at Speed and Scale)

By Shortridge, Kelly, Rinehart, Aaron

Security Chaos Engineering (Developing Resilience and Safety at Speed and Scale)

By Shortridge, Kelly, Rinehart, Aaron

£37.64 Elsewhere ~~£52.99~~ Save £15.35 (29%)

Electronics System Design Techniques for Safety Critical Applications (Lecture Notes in Electrical Engineering)

By Sterpone, Luca

Electronics System Design Techniques for Safety Critical Applications (Lecture Notes in Electrical Engineering)

By Sterpone, Luca

£91.18

Electronics System Design Techniques for Safety Critical Applications (Lecture Notes in Electrical Engineering)

By Sterpone, Luca

Electronics System Design Techniques for Safety Critical Applications (Lecture Notes in Electrical Engineering)

By Sterpone, Luca

£85.93 Elsewhere ~~£89.99~~ Save £4.06 (5%)

Safety in the Digital Age (Sociotechnical Perspectives on Algorithms and Machine Learning (SpringerBriefs in Applied Sciences and Technology) (SpringerBriefs in Safety Management))

By Jean-Christophe Le Coze, Stian Antonsen

Safety in the Digital Age (Sociotechnical Perspectives on Algorithms and Machine Learning (SpringerBriefs in Applied Sciences and Technology) (SpringerBriefs in Safety Management))

By Jean-Christophe Le Coze, Stian Antonsen

£25.86

Intelligent Systems (Safety, Reliability and Maintainability Issues (Nato ASI Subseries F:))

By Okyay Kaynak, Ger Honderd, Edward Grant

Intelligent Systems (Safety, Reliability and Maintainability Issues (Nato ASI Subseries F:))

By Okyay Kaynak, Ger Honderd, Edward Grant

£91.61

Intelligent Systems (Safety, Reliability and Maintainability Issues (NATO ASI Subseries F:))

By Okyay Kaynak, Ger Honderd, Edward Grant

Intelligent Systems (Safety, Reliability and Maintainability Issues (NATO ASI Subseries F:))

By Okyay Kaynak, Ger Honderd, Edward Grant

£90.96

Human Error, Safety and Systems Development (IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development 22-27 August 2004 Toulouse, France (IFIP Advances in Information and Communication Technolog)

By Philippe Palanque, Chris Johnson

Human Error, Safety and Systems Development (IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development 22-27 August 2004 Toulouse, France (IFIP Advances in Information and Communication Technolog)

By Philippe Palanque, Chris Johnson

£124 Elsewhere ~~£131.50~~ Save £7.50 (6%)

Computer Safety, Reliability, and Security (42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science))

By Jeremie Guiochet, Stefano Tonetta, Friedemann Bitsch

Computer Safety, Reliability, and Security (42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science))

By Jeremie Guiochet, Stefano Tonetta, Friedemann Bitsch

£51.27 Elsewhere ~~£54.99~~ Save £3.72 (7%)

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops (ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings (Lecture Notes in Computer Science))

By Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops (ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings (Lecture Notes in Computer Science))

By Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy

£62.37 Elsewhere ~~£69.99~~ Save £7.62 (11%)

Computer Safety, Reliability and Security (20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings (Lecture Notes in Computer Science))

By Udo Voges

Computer Safety, Reliability and Security (20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings (Lecture Notes in Computer Science))

By Udo Voges

£46.22

Computer Safety, Reliability, and Security (25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings (Programming and Software Engineering))

By Janusz Gorski

Computer Safety, Reliability, and Security (25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings (Programming and Software Engineering))

By Janusz Gorski

£46.84

Computer Safety, Reliability and Security (17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998: Proceedings (Lecture Notes in Computer Science))

By Wolfgang Ehrenberger

Computer Safety, Reliability and Security (17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998: Proceedings (Lecture Notes in Computer Science))

By Wolfgang Ehrenberger

£46.19

Stabilization, Safety, and Security of Distributed Systems (11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Rachid Guerraoui, Franck Petit

Stabilization, Safety, and Security of Distributed Systems (11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Rachid Guerraoui, Franck Petit

£91.52

Computer Safety, Reliability, and Security (SAFECOMP 2012 Workshops : Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE : Magdeburg, Germany, September 25-28 2012 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank Ortmeier, Peter Daniel

Computer Safety, Reliability, and Security (SAFECOMP 2012 Workshops : Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE : Magdeburg, Germany, September 25-28 2012 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank Ortmeier, Peter Daniel

£46.31

View:
Safe Search(?):