Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings 9783030931001, 9783030930998, 3030931005

Logical Foundations of Computer Science, LFCS 2020 9783030367541, 9783030367558

334 76 4MB Read more

Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings (Lecture Notes in Computer Science) 3031113209, 9783031113208

This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Kno

119 110 4MB Read more

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (Lecture Notes in Computer Science, 13260) 303106772X, 9783031067723

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasa

118 89 54MB Read more

Computer Science – Theory and Applications: 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 – July 1, 2022, Proceedings 9783031095740, 9783031095733, 303109574X

This book constitutes the proceedings of the 17th International Computer Science Symposium in Russia, CSR 2022, held in

102 47 38MB Read more

Algorithmic Game Theory: 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings (Lecture Notes in Computer Science, 13584) [1st ed. 2022] 3031157133, 9783031157134

This book constitutes the proceedings of the 15th International Symposium on Algorithmic Game Theory, SAGT 2022, which t

188 59 14MB Read more

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... Computer Science and General Issues) 3030945820, 9783030945824

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract

102 98 19MB Read more

Proceedings of the 2022 International Symposium on Energy Management and Sustainability: ISEMAS 2022 3031301706, 9783031301704

The International Symposium on Energy Management and Sustainability (ISEMAS) is a multi-disciplinary symposium that pres

208 46 41MB Read more

Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings (Lecture Notes in Computer Science) 3031103629, 9783031103629

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineerin

116 24 18MB Read more

Stabilization, Safety, and Security of Distributed Systems: 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022, Proceedings (Lecture Notes in Computer Science) 3031210166, 9783031210167

This book constitutes the proceedings of 24th International Symposium, SSS 2022, which took place in Clermont-Ferrand, F

101 23 11MB Read more

Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings (Lecture Notes in Computer Science, 12007) 3030391965, 9783030391966

This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative L

106 35 13MB Read more