Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

HK$980

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

Temporal Verification of Reactive Systems (Safety)

By Pnueli, Amir, Manna, Zohar

HK$960 Elsewhere ~~HK$1,009.65~~ Save HK$49.65 (5%)

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

HK$1,079 Elsewhere ~~HK$1,565.12~~ Save HK$486.12 (31%)

IoT-enabled Unobtrusive Surveillance Systems for Smart Campus Safety

By Theodoros Anagnostopoulos

IoT-enabled Unobtrusive Surveillance Systems for Smart Campus Safety

By Theodoros Anagnostopoulos

HK$881 Elsewhere ~~HK$958.76~~ Save HK$77.76 (8%)

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

HK$536 Elsewhere ~~HK$696.63~~ Save HK$160.63 (23%)

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.

HK$500

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

HK$364 Elsewhere ~~HK$454.29~~ Save HK$90.29 (20%)

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

HK$900 Elsewhere ~~HK$1,363.17~~ Save HK$463.17 (34%)

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

HK$700 Elsewhere ~~HK$837.99~~ Save HK$137.99 (16%)

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

HK$490 Elsewhere ~~HK$524.97~~ Save HK$34.97 (7%)

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

HK$980

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

HK$455 Elsewhere ~~HK$535.07~~ Save HK$80.07 (15%)

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

HK$840 Elsewhere ~~HK$908.68~~ Save HK$68.68 (8%)

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

HK$270

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

HK$1,089

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

HK$900

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

HK$1,300

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

HK$553

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

HK$700

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

HK$495

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

HK$660

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

HK$500

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

HK$1,040

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

HK$559

View:
Safe Search(?):