Juliana Bowles – författare
676 kr
Skickas inom 10-15 vardagar
873 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.
The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches.
From Data to Models and Back
10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
621 kr
Skickas inom 10-15 vardagar
793 kr
Läs direkt efter köp
Logic-Based Program Synthesis and Transformation
34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings
733 kr
Skickas inom 10-15 vardagar
865 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.