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

256 54 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

267 73 21MB 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

293 54 19MB 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

379 29 19MB Read more

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

288 94 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

240 108 40MB Read more

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

254 54 39MB 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

398 25 65MB Read more

Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings [14235, 1 ed.] 9783031452857, 9783031452864

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, h

123 79 7MB Read more

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 20th International Conference, CPAIOR 2023 Nice, France, May 29 – June 1, 2023 Proceedings 3031332709, 9783031332708

This book constitutes the proceedings of the 20th International Conference on the Integration of Constraint Programming,

246 64 34MB Read more