Stabilization, Safety, and Security of Distributed Systems: 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings

Name: Stabilization, Safety, and Security of Distributed Systems: 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings
Price: 131.50 CAD
Availability: InStock
Author: Baruch Schieber
ISBN: 9783031442735

Shlomi Dolev Edited by Baruch Schieber

Oct 02, 2023

$131.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 658 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

614

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031442735

Security Protocols: 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings

Bruce Christianson Paperback
$80.50
Cyberspace Safety and Security: 14th International Symposium, CSS 2022, Xi'an, China, October 16-18, 2022, Proceedings

Xiaofeng Chen Paperback
$80.50
2 formats available
Stabilization, Safety, and Security of Distributed Systems: 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

Toshimitsu Masuzawa Hardcover
$80.50
Advances in Neural Networks - ISNN 2019: 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, Proceedings, Part I

Huchuan Lu Paperback
$80.50
2 formats available
Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part I

Eike Kiltz Paperback
$175.50
2 formats available
Revolutionizing Fashion and Retail: Proceedings of the Fifth fashionXrecsys Workshop at the Recommender Systems Conference, Singapore, 18th-22nd September 2023

Nima Dokoohaki Hardcover
$262.95
Traffic Monitoring and Analysis: First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009, Proceedings

Maria Papadopouli Paperback
$80.50
Stabilization, Safety, And Security Of Distributed Systems: 21st International Symposium, Sss 2019, Pisa, Italy, October 22-25, 2019, Proceedings

Mohsen Ghaffari Paperback
$80.50
2 formats available
Algorithms and Models for the Web Graph: 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings

Megan Dewar Paperback
$87.95
2 formats available
Traffic Monitoring and Analysis: 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012, Proceedings

Antonio Pescap Paperback
$102.50
The Practice of Enterprise Modeling: 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings

João Paulo A. Almeida Paperback
$58.50
Privacy Technologies And Policy: 5th Annual Privacy Forum, Apf 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers

Erich Schweighofer Paperback
$80.50
2 formats available
Stabilization, Safety, and Security of Distributed Systems: 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

Toshimitsu Masuzawa Paperback
$116.95
2 formats available
The Practice of Enterprise Modeling: 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings

João Paulo A. Almeida Paperback
$87.95
2 formats available
Geo-informatics in Sustainable Ecosystem and Society: 6th International Conference, GSES 2018, Handan, China, September 25-26, 2018, Revised Selected Papers

Yichun Xie Paperback
$80.50
2 formats available
New Trends in Image Analysis and Processing - ICIAP 2015 Workshops: ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings

Vittorio Murino Paperback
$80.50
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Jane Hillston Paperback
$109.50
2 formats available
Traffic Monitoring and Analysis: Third International Workshop, Tma 2011, Vienna, Austria, April 27, 2011, Proceedings

Jordi Domingo-Pascual Paperback
$80.50
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Paperback
$80.50
Business Agility and Information Technology Diffusion: IFIP TC8 WG 8.6 International Working Conference, May 8-11, 2005, Atlanta, Georgia, USA

Richard Baskerville Paperback
$160.95
2 formats available

Editorial reviews

baruch schieber

Author

Stabilization, Safety, and Security of Distributed Systems: 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings

Shlomi Dolev Paperback
$160.95
Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings

Pascal Felber Paperback
$80.50
Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

Pavel Klinov Paperback
$80.50
Cyber Security, Cryptology, and Machine Learning: 6th International Symposium, CSCML 2022, Be'er Sheva, Israel, June 30 - July 1, 2022, Proceedings

Shlomi Dolev Paperback
$160.95
2 formats available
Developments in Language Theory: 27th International Conference, DLT 2023, Umea, Sweden, June 12-16, 2023, Proceedings

Frank Drewes Paperback
$102.50
2 formats available
Cyber Security, Cryptology, and Machine Learning: 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings

Shlomi Dolev Paperback
$145.95
2 formats available
Stabilization, Safety, and Security of Distributed Systems: 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

Sandeep Kulkarni Paperback
$80.50
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen Paperback
$160.95
2 formats available
Approximation and Online Algorithms: 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8-9, 2022, Proceedings

Parinya Chalermsook Paperback
$80.50
2 formats available
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Omri Isac Paperback
$102.50
2 formats available
Cyber Security, Cryptology, and Machine Learning: 8th International Symposium, CSCML 2024, Be'er Sheva, Israel, December 19-20, 2024, Proceedings

Shlomi Dolev Paperback
$109.50
Digital Forensics And Cyber Crime: 11th Eai International Conference, Icdf2c 2020, Boston, Ma, Usa, October 15-16, 2020, Proceedings

Sanjay Goel Paperback
$145.95
2 formats available
Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers

Ittay Eyal Paperback
$175.50
2 formats available
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

Alicia Villanueva Paperback
$87.95
2 formats available
RFID Security and Privacy: 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers

Ari Juels Paperback
$80.50
Information Security: 4th International Conference, ISC 2001 Malaga, Spain, October 1-3, 2001 Proceedings

George I. Davida Paperback
$80.50
Theory of Cryptography: 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II

Dennis Hofheinz Paperback
$80.50
2 formats available
Scalable Information Systems: 5th International Conference, INFOSCALE 2014, Seoul, South Korea, September 25-26, 2014, Revised Selected Papers

Jason J. Jung Paperback
$65.95
2 formats available
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Ofer Strichman Paperback
$80.50
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings

Ekaterina Komendantskaya Paperback
$94.95
2 formats available

Stabilization, Safety, and Security of Distributed Systems: 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings

Overview

You May Also Like

Security Protocols: 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings

Cyberspace Safety and Security: 14th International Symposium, CSS 2022, Xi'an, China, October 16-18, 2022, Proceedings

Stabilization, Safety, and Security of Distributed Systems: 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

Advances in Neural Networks - ISNN 2019: 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, Proceedings, Part I

Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part I

Revolutionizing Fashion and Retail: Proceedings of the Fifth fashionXrecsys Workshop at the Recommender Systems Conference, Singapore, 18th-22nd September 2023

Traffic Monitoring and Analysis: First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009, Proceedings

Stabilization, Safety, And Security Of Distributed Systems: 21st International Symposium, Sss 2019, Pisa, Italy, October 22-25, 2019, Proceedings

Algorithms and Models for the Web Graph: 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings

Traffic Monitoring and Analysis: 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012, Proceedings

The Practice of Enterprise Modeling: 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings

Privacy Technologies And Policy: 5th Annual Privacy Forum, Apf 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers

Stabilization, Safety, and Security of Distributed Systems: 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

The Practice of Enterprise Modeling: 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings

Geo-informatics in Sustainable Ecosystem and Society: 6th International Conference, GSES 2018, Handan, China, September 25-26, 2018, Revised Selected Papers

New Trends in Image Analysis and Processing - ICIAP 2015 Workshops: ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Traffic Monitoring and Analysis: Third International Workshop, Tma 2011, Vienna, Austria, April 27, 2011, Proceedings

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Business Agility and Information Technology Diffusion: IFIP TC8 WG 8.6 International Working Conference, May 8-11, 2005, Atlanta, Georgia, USA

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Stabilization, Safety, and Security of Distributed Systems: 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings

Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings

Knowledge Engineering and Semantic Web: 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

Cyber Security, Cryptology, and Machine Learning: 6th International Symposium, CSCML 2022, Be'er Sheva, Israel, June 30 - July 1, 2022, Proceedings

Developments in Language Theory: 27th International Conference, DLT 2023, Umea, Sweden, June 12-16, 2023, Proceedings

Cyber Security, Cryptology, and Machine Learning: 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings

Stabilization, Safety, and Security of Distributed Systems: 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Approximation and Online Algorithms: 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8-9, 2022, Proceedings

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Cyber Security, Cryptology, and Machine Learning: 8th International Symposium, CSCML 2024, Be'er Sheva, Israel, December 19-20, 2024, Proceedings

Digital Forensics And Cyber Crime: 11th Eai International Conference, Icdf2c 2020, Boston, Ma, Usa, October 15-16, 2020, Proceedings

Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

RFID Security and Privacy: 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers

Information Security: 4th International Conference, ISC 2001 Malaga, Spain, October 1-3, 2001 Proceedings

Theory of Cryptography: 17th International Conference, TCC 2019, Nuremberg, Germany, December 1-5, 2019, Proceedings, Part II

Scalable Information Systems: 5th International Conference, INFOSCALE 2014, Seoul, South Korea, September 25-26, 2014, Revised Selected Papers

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings