Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings 9783031331633, 9783031331626, 303133163X

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings 3031331621, 9783031331626

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ

172 117 23MB Read more

Serious Games. 9th Joint International Conference, JCSG 2023 Dublin, Ireland, October 26–27, 2023 Proceedings 9783031447501, 9783031447518

107 38 37MB Read more

Next Generation Arithmetic: 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings 3031321790, 9783031321795

This book constitutes the refereed proceedings of the 4th International Conference on Next Generation Arithmetic, CoNGA

175 35 21MB Read more

The Semantic Web. 20th International Conference, ESWC 2023 Hersonissos, Crete, Greece, May 28 – June 1, 2023 Proceedings 9783031334542, 9783031334559

159 89 39MB Read more

Codes, Cryptology and Information Security: 4th International Conference, C2SI 2023, Rabat, Morocco, May 29–31, 2023, Proceedings 3031330161, 9783031330162

This book constitutes the refereed proceedings of the 4th International Conference on Codes, Cryptology and Information

162 15 19MB Read more

Codes, Cryptology and Information Security. 4th International Conference, C2SI 2023 Rabat, Morocco, May 29–31, 2023 Proceedings 9783031330162, 9783031330179

167 90 18MB Read more

Codes, Cryptology and Information Security: 4th International Conference, C2SI 2023, Rabat, Morocco, May 29–31, 2023, Proceedings 9783031330179, 9783031330162, 303133017X

This book constitutes the refereed proceedings of the 4th International Conference on Codes, Cryptology and Information

164 69 40MB Read more

Optimization and Learning: 6th International Conference, OLA 2023, Malaga, Spain, May 3–5, 2023, Proceedings 9783031340192, 9783031340208

This book constitutes the refereed proceedings of the 6th International Conference on Optimization and Learning, OLA 202

166 93 43MB Read more

The Semantic Web: 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28–June 1, 2023, Proceedings 9783031334559, 9783031334542, 3031334558

This book constitutes the refereed proceedings of the 20th International Conference on The Semantic Web, ESWC 2023, held

175 15 65MB Read more

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings 3031331699, 9783031331695

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Hous

165 16 19MB Read more