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

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings (Lecture Notes in Computer Science, 12071) 3030480763, 9783030480769

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

103 8 23MB 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

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

107 38 37MB Read more

Technologies and Innovation: 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13–16, 2023, Proceedings 9783031456824, 3031456823

124 60 28MB 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

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

160 89 39MB 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

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