Cover Image

Stabilization, Safety, and Security of Distributed Systems : 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings /

This book constitutes the refereed proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021, held virtually, in November 2021. The 16 full papers, 10 short and 14 invited papers presented were carefully reviewed and selected from 56 subm...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Johnen, Colette (Editor), Schiller, Elad Michael (Editor), Schmid, Stefan (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Theoretical Computer Science and General Issues ; 13046
Subjects:	Computer communication systems. Robotics. Software engineering. Operating systems (Computers). Microprogramming . Data structures (Computer science). Computer Communication Networks. Software Engineering. Operating Systems. Control Structures and Microprogramming. Data Structures and Information Theory. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /
Published: (2021)

Parallel Computing Technologies : 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings /
Published: (2021)

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I /
Published: (2021)

High Performance Computing : 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25-27, 2019, Revised Selected Papers /
Published: (2020)

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /
Published: (2020)

Software Engineering for Robotics /
Published: (2021)

ASIC Design and Synthesis : RTL Design Using Verilog /
by: Taraate, Vaibbhav
Published: (2021)

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I /
Published: (2020)

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II /
Published: (2020)

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /
Published: (2020)

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 /
Published: (2020)

Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings /
Published: (2020)

Product-Focused Software Process Improvement : 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings /
Published: (2020)

Computational Collective Intelligence : 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 - October 1, 2021, Proceedings /
Published: (2021)

Financial Cryptography and Data Security : 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part I /
Published: (2021)

Machine Learning for Robotics Applications /
Published: (2021)

LATIN 2020: Theoretical Informatics : 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings /
Published: (2020)

Robot Operating System (ROS) : The Complete Reference (Volume 3) /
Published: (2019)

Robot Operating System (ROS) : The Complete Reference (Volume 6) /
Published: (2021)

Information and Communications Security : 23rd International Conference, ICICS 2021, Chongqing, China, November 19-21, 2021, Proceedings, Part I /
Published: (2021)

Real-Time C++ : Efficient Object-Oriented and Template Microcontroller Programming /
by: Kormanyos, Christopher
Published: (2021)

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Published: (2020)

VLSI-SoC: Design Trends : 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6-9, 2020, Revised and Extended Selected Papers /
Published: (2021)

Robot 2019: Fourth Iberian Robotics Conference : Advances in Robotics, Volume 1 /
Published: (2020)

Robotics Research : The 18th International Symposium ISRR /
Published: (2020)

Proceedings of the 2018 International Symposium on Experimental Robotics /
Published: (2020)

Applied Technologies : First International Conference, ICAT 2019, Quito, Ecuador, December 3-5, 2019, Proceedings, Part I /
Published: (2020)

Computational Science and Its Applications - ICCSA 2021 : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part IX /
Published: (2021)

HCI in Mobility, Transport, and Automotive Systems : Third International Conference, MobiTAS 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings /
Published: (2021)

ECML PKDD 2020 Workshops : Workshops of the European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2020): SoGood 2020, PDFL 2020, MLCS 2020, NFMCP 2020, DINA 2020, EDML 2020, XKDD 2020 and INRA 2020, Ghent, Belgium, September 14-18, 2020, Proceedings /
Published: (2020)

Proceedings of Second Doctoral Symposium on Computational Intelligence : DoSCI 2021 /
Published: (2022)

Advances in Service and Industrial Robotics : Proceedings of the 28th International Conference on Robotics in Alpe-Adria-Danube Region (RAAD 2019) /
Published: (2020)

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /
Published: (2020)

Computer Security : ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 Revised Selected Papers /
Published: (2020)

Information and Communication Technology and Applications : Third International Conference, ICTA 2020, Minna, Nigeria, November 24-27, 2020, Revised Selected Papers /
Published: (2021)

Algorithms and Data Structures : 17th International Symposium, WADS 2021, Virtual Event, August 9-11, 2021, Proceedings /
Published: (2021)

Combinatorial Optimization and Applications : 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021, Proceedings /
Published: (2021)

Computing and Combinatorics : 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021, Proceedings /
Published: (2021)

Intelligent Technologies and Applications : Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6-8, 2019, Revised Selected Papers /
Published: (2020)

Service-Oriented Computing - ICSOC 2020 Workshops : AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings /
Published: (2021)